diff options
Diffstat (limited to 'www/geneweb/files/patch-setup_Makefile')
| -rw-r--r-- | www/geneweb/files/patch-setup_Makefile | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/www/geneweb/files/patch-setup_Makefile b/www/geneweb/files/patch-setup_Makefile new file mode 100644 index 000000000000..2d4cfb73c3e4 --- /dev/null +++ b/www/geneweb/files/patch-setup_Makefile @@ -0,0 +1,11 @@ +--- setup/Makefile.orig 2024-02-11 19:47:03 UTC ++++ setup/Makefile +@@ -64,7 +64,7 @@ setup.opt: $(OBJS:.cmo=.cmx) + $(OCAMLC) -custom $(STATIC) unix.cma $(LIBUNIX) $(OBJS) -o setup.out + + setup.opt: $(OBJS:.cmo=.cmx) +- $(OCAMLOPT) $(STATIC) unix.cmxa $(LIBUNIX) $(OBJS:.cmo=.cmx) -o setup.opt ++ $(OCAMLOPT) -linkpkg $(OBJS:.cmo=.cmx) -o setup.opt + + depend: + TOP=.. ../tools/camlp5_depend.sh $(OCAMLI) *.ml* > .depend |