debian/0000755000000000000000000000000012143114212007155 5ustar debian/changelog0000644000000000000000000000377512143114212011043 0ustar ceve (1:1.4-3) unstable; urgency=low * make this a transitional package to dose-extra: - Section: oldlibs - Architecture: all - reduce Build-dependencies to debhelper - drop dependencies ocaml:Depends, misc:Depends, add dose-extra - debian/rules: do nothing - drop stuff from debian/: watch, ceve.manpages - update package description - use an epoch in the version as a ceve binary package with version 2.* used to be produced by the dose3 source package. * Standards-Version 3.9.4 (no change) -- Ralf Treinen Thu, 09 May 2013 20:04:51 +0200 ceve (1.4-2) unstable; urgency=low * Convert to source format 3.0 (quilt) * Standards-Version 3.9.1 (no change) * Convert from cdbs to dh, dh_ocaml >= 0.9~ (closes: #599296) - bump build-dependency on debhelper to have overrides. - bump build-dependency on ocaml to have checksums of ABIs -- Ralf Treinen Wed, 09 Feb 2011 09:12:52 +0100 ceve (1.4-1) unstable; urgency=low * New Upstream Version * Standards-Version 3.8.2 (no change) * Bump dependency on libdose-ocaml-dev to >= 1.4.2 -- Ralf Treinen Tue, 21 Jul 2009 20:04:42 +0200 ceve (1.3.1-1) unstable; urgency=low * New upstream version -- Ralf Treinen Fri, 22 May 2009 09:00:35 +0200 ceve (1.3-1) unstable; urgency=low * New upstream version -- Ralf Treinen Mon, 18 May 2009 21:12:46 +0200 ceve (1.2.1-1) unstable; urgency=low [ Ralf Treinen ] * New upstream release * Add debian/watch * debian/rules: class/ocaml.ml -> rules/ocaml.mk * Standards-version 3.8.1 (no change) * Build-dependency add dh-ocaml, libdose2 must be >= 1.4-2 * Add myself to Uploaders [ Stefano Zacchiroli ] * ship ceve.1 manpage -- Ralf Treinen Thu, 26 Mar 2009 08:20:45 +0100 ceve (1.1-1) experimental; urgency=low * Initial release. (Closes: #484280) -- Stefano Zacchiroli Tue, 03 Jun 2008 14:30:29 +0200 debian/source/0000755000000000000000000000000012143114212010455 5ustar debian/source/format0000644000000000000000000000001412143114212011663 0ustar 3.0 (quilt) debian/rules0000755000000000000000000000013712143114212010236 0ustar #!/usr/bin/make -f %: dh $@ override_dh_auto_build: true override_dh_auto_install: true debian/copyright0000644000000000000000000000154212143114212011112 0ustar This package was debianized by Stefano Zacchiroli on Tue, 03 Jun 2008 14:33:15 +0200. It was downloaded from Files: * Copyright: © 2004-2008 Jaap Boender License: GPL-2+ Ceve is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 2 of the License, or (at your option) any later version. On Debian systems, the complete text of the latest GNU General Public License can be found in `/usr/share/common-licenses/LGPL'. Files: debian/* Copyright: © 2008 Stefano Zacchiroli License: GPL-3+ The Debian packaging is copyright Stefano Zacchiroli, and licensed under the GNU General Public License, see `/usr/share/common-licenses/GPL' for the full text. debian/patches/0000755000000000000000000000000012143114212010604 5ustar debian/patches/series0000644000000000000000000000001112143114212012011 0ustar Makefile debian/patches/Makefile0000644000000000000000000000310012143114212012236 0ustar Description: Various fixes to upstream makefile Author: Stefano Zacchiroli Reviewed-By: Ralf Treinen --- 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 debian/compat0000644000000000000000000000000212143114212010353 0ustar 7 debian/control0000644000000000000000000000130112143114212010553 0ustar Source: ceve Section: oldlibs Priority: extra Maintainer: Debian OCaml Maintainers Uploaders: Stefano Zacchiroli , Ralf Treinen Build-Depends: debhelper (>= 7.0.50~) Standards-Version: 3.9.4 Homepage: http://sodiac.gforge.inria.fr/ Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/ceve.git Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/ceve.git Package: ceve Architecture: all Depends: ${misc:Depends}, dose-extra Description: package dependency parser (transitional package) This is a transitional package which can be safely removed, its only purpose is to pull in the dependency on dose-extra.