diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2007-12-12 14:09:45 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2007-12-12 14:09:45 +0000 |
commit | f666922cb23d7e096bcf9fea67bd9005654de3af (patch) | |
tree | fc3776c3e0474b03b5a5ee8f143ae1e2317e9f8b /otherlibs/labltk/camltk/Makefile | |
parent | 133cbb4332eca7da5356c6a8b8dbc732700c6b75 (diff) |
"make install" must not compile
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8708 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'otherlibs/labltk/camltk/Makefile')
-rw-r--r-- | otherlibs/labltk/camltk/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/otherlibs/labltk/camltk/Makefile b/otherlibs/labltk/camltk/Makefile index c3b4e3db1..19300ead4 100644 --- a/otherlibs/labltk/camltk/Makefile +++ b/otherlibs/labltk/camltk/Makefile @@ -18,12 +18,12 @@ camltkobjsx: $(CAMLTKOBJSX) clean: $(MAKE) -f Makefile.gen clean -install: $(CAMLTKOBJS) +install: if test -d $(INSTALLDIR); then : ; else mkdir $(INSTALLDIR); fi cp $(CAMLTKOBJS:.cmo=.cmi) $(CWIDGETOBJS:.cmo=.mli) $(INSTALLDIR) chmod 644 $(INSTALLDIR)/*.cmi -installopt: $(CAMLTKOBJSX) +installopt: @if test -d $(INSTALLDIR); then : ; else mkdir $(INSTALLDIR); fi cp $(CAMLTKOBJSX) $(INSTALLDIR) chmod 644 $(INSTALLDIR)/*.cmx |