[Pkg-ocaml-maint-commits] [SCM] ceve packaging branch, master, updated. eb4fb9a969b7336149caf5b5bb51235fc67e2406

[Stefano Zacchiroli]

The following commit has been merged in the master branch:
commit a932431e1f9c5bdcd028c08752d1cfd7fe06d36b
Author: Stefano Zacchiroli <zack at upsilon.cc>
Date:   Tue Jun 3 14:11:55 2008 +0200

    create destdir upon installation

diff --git a/Makefile b/Makefile
index d992009..fe2f982 100644
--- a/Makefile
+++ b/Makefile
@@ -69,7 +69,7 @@ clean:
 	@rm -rf ceve ceve.opt doc $(OBJS) $(XBJS) $(CMIS) $(OCAML_SOURCES:.ml=.o)
 
 install: ceve
-	{ test ! -f ceve.opt || install ceve.opt $(BINDIR); }; \
+	mkdir -p $(BINDIR)
 	if [ -f ceve.opt ] ; then \
 	  cp ceve.opt $(BINDIR)/ceve ; \
 	else \

-- 
ceve packaging