You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
gentoo-overlay/app-misc/geneweb/files/geneweb-6.06-parallellbuild...

24 lines
589 B

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