[Pkg-ocaml-maint-commits] r5980 - /trunk/packages/ergo/trunk/debian/rules

[dogguy-guest at users.alioth.debian.org]

Author: dogguy-guest
Date: Wed Sep 10 08:47:08 2008
New Revision: 5980

URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=5980
Log:
alt-ergoAPI disappeared and ergo is now alt-ergo

Modified:
    trunk/packages/ergo/trunk/debian/rules

Modified: trunk/packages/ergo/trunk/debian/rules
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/ergo/trunk/debian/rules?rev=5980&op=diff
==============================================================================
--- trunk/packages/ergo/trunk/debian/rules (original)
+++ trunk/packages/ergo/trunk/debian/rules Wed Sep 10 08:47:08 2008
@@ -18,8 +18,6 @@
 BYTECODE  = $(shell [ -x /usr/bin/ocamlopt ] || echo yes)
 OCAMLRUN  = $(if $(BYTECODE),ocaml-base-nox-$(OCAMLABI),)
 OCAMLBEST = $(if $(BYTECODE),byte,opt)
-OPTTARGET = api.byte $(if $(BYTECODE),byte,opt api.opt)
-APIFILES  = ergoAPI.cma $(if $(BYTECODE),,ergoAPI.cmxa)
 MAKEOPTS  = OCAMLC=ocamlc OCAMLOPT=ocamlopt OCAMLLEX=ocamllex OCAMLLIB=/usr/lib/ocaml/$(OCAMLABI) OCAMLVERSION=$(OCAMLABI)
 
 config.status: 
@@ -38,15 +36,15 @@
 build-arch: build-arch-stamp
 build-arch-stamp: config.status
 	dh_testdir
-	$(MAKE) $(MAKEOPTS) $(OPTTARGET)
+	$(MAKE) $(OCAMLBEST)
 	touch $@
 
 clean: unpatch
 	dh_testdir
 	dh_testroot
 	rm -f build-stamp build-indep-stamp build-arch-stamp
-	if [ -f Makefile ]; then           \
-		$(MAKE) $(MAKEOPTS) clean; \
+	if [ -f Makefile ]; then \
+		$(MAKE) clean;   \
 	fi
 	dh_clean 
 	-rm -f config.status Makefile
@@ -56,10 +54,8 @@
 	dh_testroot
 	dh_clean -k 
 	dh_installdirs
-#	$(MAKE) prefix=$(CURDIR)/debian/alt-ergo/usr install-$(OCAMLBEST)
-	cp -f ergo.$(OCAMLBEST) $(CURDIR)/debian/alt-ergo/usr/bin/ergo
+	cp -f alt-ergo.$(OCAMLBEST) $(CURDIR)/debian/alt-ergo/usr/bin/alt-ergo
 	cp -f smt_prelude.mlw $(CURDIR)/debian/alt-ergo/usr/lib/alt-ergo/
-	cp -f $(APIFILES) $(CURDIR)/debian/alt-ergo/usr/lib/alt-ergo/
 
 binary-indep: build install