diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -635,7 +635,9 @@ checkstack: # Make MacOS X package -package-macosx: FORCE +.PHONY: package-macosx + +package-macosx: make BINDIR="`pwd`"/package-macosx/root$(BINDIR) \ LIBDIR="`pwd`"/package-macosx/root$(LIBDIR) \ MANDIR="`pwd`"/package-macosx/root$(MANDIR) install @@ -680,3 +682,5 @@ include .depend gcamllibrary: ocamlc cd gcamllib; $(MAKE) all + +
\ No newline at end of file |