blob: a1b5fe742a172444f0f33706e76e090fff1daf1f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
--- 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
--- src/Makefile.old 2013-04-18 21:29:52.727049806 +0200
+++ src/Makefile 2013-04-18 21:30:58.838414496 +0200
@@ -153,6 +153,8 @@
) | \
sort | uniq | grep -v '^$$' > i18n
+config.cmi: gwdb.cmi
+
always:
depend:
|
GitWeb
