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

[Stefano Zacchiroli]

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

    install the best built executable

diff --git a/Makefile b/Makefile
index 6a9d715..d992009 100644
--- a/Makefile
+++ b/Makefile
@@ -27,6 +27,9 @@ ifdef USE_OCAMLDUCE
 PACKAGES+=	,ocamlduce
 endif
 
+all: ceve
+opt: ceve.opt
+
 ceve: $(OBJS)
 	$(OCAMLFIND) ocamlc -verbose -thread -custom -o $@ -linkpkg $(PACKAGES) $(C_LIBRARIES) $(CCOPTFLAGS) $(OBJS)
 
@@ -67,7 +70,11 @@ clean:
 
 install: ceve
 	{ test ! -f ceve.opt || install ceve.opt $(BINDIR); }; \
-	install ceve $(BINDIR)
+	if [ -f ceve.opt ] ; then \
+	  cp ceve.opt $(BINDIR)/ceve ; \
+	else \
+	  cp ceve $(BINDIR)/ceve ;
+	fi
 
 depend:
 	$(OCAMLFIND) ocamldep $(OCAML_SOURCES) $(OCAML_MLIS) > .depend

-- 
ceve packaging