--- 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