summaryrefslogtreecommitdiffstats
path: root/otherlibs/labltk/camltk/Makefile
diff options
context:
space:
mode:
authorDamien Doligez <damien.doligez-inria.fr>2007-12-12 14:09:45 +0000
committerDamien Doligez <damien.doligez-inria.fr>2007-12-12 14:09:45 +0000
commitf666922cb23d7e096bcf9fea67bd9005654de3af (patch)
treefc3776c3e0474b03b5a5ee8f143ae1e2317e9f8b /otherlibs/labltk/camltk/Makefile
parent133cbb4332eca7da5356c6a8b8dbc732700c6b75 (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/Makefile4
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