[Pkg-ocaml-maint-commits] [ceve] 01/03: make this a transitional package

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository ceve.

commit aff48cf5c7448d086fbebebe7657dbfa6f0bf788
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Apr 3 09:15:59 2012 +0200

    make this a transitional package
---
 debian/ceve.manpages    |  1 -
 debian/changelog        |  8 +++++---
 debian/patches/Makefile | 52 -------------------------------------------------
 debian/patches/series   |  2 --
 debian/rules            | 13 +------------
 5 files changed, 6 insertions(+), 70 deletions(-)

diff --git a/debian/ceve.manpages b/debian/ceve.manpages
deleted file mode 100644
index 0aab222..0000000
--- a/debian/ceve.manpages
+++ /dev/null
@@ -1 +0,0 @@
-ceve.1
diff --git a/debian/changelog b/debian/changelog
index 2a10ada..e27c1b6 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,9 +1,11 @@
 ceve (1.4-3) UNRELEASED; urgency=low
 
-  * Downgraded priority to extra, since libsdose2 has been downgraded
-    to extra. Thanks to Luca Falavigna for the indication.
+  * Make this a transitional package:
+  * Downgraded priority to extra
+  * remove debian/ceve.manpages, debian/patches
+  * debian/rules: build target does nothing
 
- -- Ralf Treinen <treinen at debian.org>  Sun, 13 Feb 2011 10:50:31 +0100
+ -- Ralf Treinen <treinen at debian.org>  Tue, 03 Apr 2012 09:14:10 +0200
 
 ceve (1.4-2) unstable; urgency=low
 
diff --git a/debian/patches/Makefile b/debian/patches/Makefile
deleted file mode 100644
index 21b4837..0000000
--- a/debian/patches/Makefile
+++ /dev/null
@@ -1,52 +0,0 @@
-Description: Various fixes to upstream makefile
-Author: Stefano Zacchiroli <zack at debian.org>
-Reviewed-By: Ralf Treinen <treinen at debian.org>
-
---- ceve-1.4.orig/Makefile
-+++ ceve-1.4/Makefile
-@@ -20,7 +20,7 @@ egraph_writer.mli dose_writer.mli depend
- cnf_writer.mli graphviz_writer.mli oz_writer.mli
- OBJS = $(OCAML_SOURCES:.ml=.cmo)
- XBJS = $(OCAML_SOURCES:.ml=.cmx)
--CMIS = $(OCAML_MLIS:.mli=.cmi)
-+CMIS = $(OCAML_MLIS:.mli=.cmi) ceve.cmi
- 
- PACKAGES = -package dose2.lifetime,dose2.ocamlpkgsrc,dose2.ocamlrpm,dose2.ocamldeb,dose2.dosebase,str,$(CAMLZIP_NAME)
- #ifdef USE_OCAMLDUCE
-@@ -28,8 +28,11 @@ PACKAGES = -package dose2.lifetime,dose2
- #DUCEDIR=$(shell ocamlfind query ocamlduce)
- #endif
- 
-+all: ceve
-+opt: ceve.opt
-+
- ceve: $(OBJS)
--	$(OCAMLFIND) ocamlc -I $(DUCEDIR) -thread -custom -o $@ -linkpkg $(PACKAGES) $(C_LIBRARIES) $(CCOPTFLAGS) $(OBJS)
-+	$(OCAMLFIND) ocamlc -thread -o $@ -linkpkg $(PACKAGES) $(C_LIBRARIES) $(CCOPTFLAGS) $(OBJS)
- 
- ceve.opt: $(XBJS)
- # bug in ocamlducefind
-@@ -60,7 +63,7 @@ endif
- 	$(OCAMLFIND) ocamlopt $(PACKAGES) -c $<
- 
- %.cmi: %.mli
--	$(OCAMLFIND) ocamlopt $(PACKAGES) -c $<
-+	$(OCAMLFIND) ocamlc $(PACKAGES) -c $<
- 
- doc: $(CMIS)
- 	@rm -rf doc
-@@ -72,8 +75,12 @@ clean:
- 	@rm -rf ceve ceve.opt doc $(OBJS) $(XBJS) $(CMIS) $(OCAML_SOURCES:.ml=.o)
- 
- install: ceve
--	{ test ! -f ceve.opt || install ceve.opt $(BINDIR); }; \
--	install ceve $(BINDIR)
-+	mkdir -p $(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
diff --git a/debian/patches/series b/debian/patches/series
deleted file mode 100644
index 550bd25..0000000
--- a/debian/patches/series
+++ /dev/null
@@ -1,2 +0,0 @@
-Makefile
-
diff --git a/debian/rules b/debian/rules
index 5ccc797..1045d25 100755
--- a/debian/rules
+++ b/debian/rules
@@ -6,16 +6,5 @@ OPTCOMPILER=/usr/bin/ocamlopt
 	dh $@ --with ocaml
 
 override_dh_auto_build:	
-	if [ -x $(OPTCOMPILER) ]; \
-		then $(MAKE) opt; \
-		else $(MAKE) all; \
-        fi
+	true
 
-override_dh_auto_install:
-	$(MAKE) install BINDIR=debian/ceve/usr/bin
-
-override_dh_strip:
-	if [ -x $(OPTCOMPILER) ]; \
-		then dh_strip; \
-		else dh_strip -X usr/bin/ceve; \
-        fi

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ceve.git