diff options
Diffstat (limited to 'www/geneweb/files/patch-wserver_Makefile')
| -rw-r--r-- | www/geneweb/files/patch-wserver_Makefile | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/www/geneweb/files/patch-wserver_Makefile b/www/geneweb/files/patch-wserver_Makefile new file mode 100644 index 000000000000..0bc23fc5d7ba --- /dev/null +++ b/www/geneweb/files/patch-wserver_Makefile @@ -0,0 +1,17 @@ +--- wserver/Makefile.orig 2024-02-11 18:30:32 UTC ++++ wserver/Makefile +@@ -4,12 +4,8 @@ OBJS=wserver.cmo + + OBJS=wserver.cmo + +-all:: pa_macro5.cmo $(OBJS) +-opt:: pa_macro5.cmo $(OBJS:.cmo=.cmx) +- +-pa_macro5.cmo: pa_macro5.ml +- camlp5r pa_extend.cmo q_MLast.cmo -o pa_macro5.ppo pa_macro5.ml +- ocamlc -c -I "`camlp5 -where`" -impl pa_macro5.ppo ++all:: $(OBJS) ++opt:: $(OBJS:.cmo=.cmx) + + depend: + TOP=.. ../tools/camlp5_depend.sh $(OCAMLI) *.ml* > .depend |