diff options
Diffstat (limited to 'Makefile.nt')
| -rw-r--r-- | Makefile.nt | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/Makefile.nt b/Makefile.nt index 0bc032fe3..ddc9e3097 100644 --- a/Makefile.nt +++ b/Makefile.nt @@ -556,7 +556,15 @@ alldepend:: # Camlp4 camlp4out: - cd camlp4/config ; cat Makefile.tpl Makefile-nt.cnf > Makefile + cd camlp4/config ; \ + (cat Makefile.tpl; \ + echo 'EXE=.exe'; \ + echo 'OPT='; \ + echo 'OTOP=../..'; \ + echo 'OLIBDIR=$$(OTOP)/boot'; \ + echo 'BINDIR=$(BINDIR)'; \ + echo 'LIBDIR=$(LIBDIR)'; \ + echo 'MANDIR=' ) > Makefile cd camlp4 ; $(MAKE) camlp4opt: cd camlp4 ; $(MAKE) opt |