]>
Commit | Line | Data |
---|---|---|
9ca5fc67 | 1 | Common subdirectories: ledit-1.10.orig/CVS and ledit-1.10/CVS |
2 | diff -u ledit-1.10.orig/Makefile ledit-1.10/Makefile | |
3 | --- ledit-1.10.orig/Makefile Sat Jun 16 15:28:43 2001 | |
4 | +++ ledit-1.10/Makefile Mon May 13 00:33:09 2002 | |
5 | @@ -19,7 +19,7 @@ | |
6 | sed s/LEDIT_VERSION/$$VERSION/ ledit.l.tpl > ledit.l | |
7 | ||
8 | pa_local.cmo: pa_local.ml | |
9 | - $(PP) pa_extend.cmo q_MLast.cmo -warn_seq pa_local.ml -o pa_local.ppo | |
10 | + $(PP) pa_extend.cmo q_MLast.cmo pa_local.ml -o pa_local.ppo | |
11 | $(COMP) -I `camlp4 -where` -c -impl pa_local.ppo | |
12 | /bin/rm -f pa_local.ppo | |
13 | ||
14 | @@ -42,7 +42,7 @@ | |
15 | include .depend | |
16 | ||
17 | .ml.cmo: | |
18 | - $(PP) ./pa_local.cmo -warn_seq $< -o $*.ppo | |
19 | + $(PP) ./pa_local.cmo $< -o $*.ppo | |
20 | $(COMP) -I `camlp4 -where` -c -impl $*.ppo | |
21 | /bin/rm -f $*.ppo | |
22 | .mli.cmi: | |
23 | Only in ledit-1.10: Makefile~ |