blob: a1307b9b487210ce96713bccc192ade15396b8d1 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
--- wserver/Makefile.old 2011-03-11 13:47:04.000000000 +0100
+++ wserver/Makefile 2011-03-11 13:47:20.000000000 +0100
@@ -5,7 +5,8 @@
OBJS=wserver.cmo
all:: pa_macro5.cmo $(OBJS)
-opt:: pa_macro5.cmo $(OBJS:.cmo=.cmx)
+opt:: pa_macro5.cmo
+ $(MAKE) $(OBJS:.cmo=.cmx)
pa_macro5.cmo: pa_macro5.ml
camlp5r pa_extend.cmo q_MLast.cmo -o pa_macro5.ppo pa_macro5.ml
|