--- ocamlcreal-0.7.orig/debian/watch +++ ocamlcreal-0.7/debian/watch @@ -0,0 +1,2 @@ +version=3 +http://www.lri.fr/~filliatr/ftp/ocaml/ds/ creal-(.*)\.tar\.gz --- ocamlcreal-0.7.orig/debian/changelog +++ ocamlcreal-0.7/debian/changelog @@ -0,0 +1,120 @@ +ocamlcreal (0.7-6) unstable; urgency=low + + [ Stephane Glondu ] + * Switch packaging to git + + [ Mehdi Dogguy ] + * Update my e-mail address + * Refresh packaging: + - Use debhelper (>= 7.0.50~) + - Use quilt (>= 0.46-7) instead of dpatch + - Bump standards to 3.8.3 + - Use new features of dh-ocaml (>= 0.9~) (Closes: #549802) + * Build-depend on mlgmp (20021123-16) + + -- Mehdi Dogguy Tue, 06 Oct 2009 18:52:19 +0200 + +ocamlcreal (0.7-5) unstable; urgency=low + + [ Stefano Zacchiroli ] + * fix vcs-svn field to point just above the debian/ dir + + [ Mehdi Dogguy ] + * Bump standards to 3.8.2 + o Add a README.source + * Use new Ocaml's standard library location + * Bump compat to 5 + * Add a watch file + * Add a description for patch 10_Makefile.in + * Set maintainer as d-o-m and uploaders as Mike Furr and Mehdi Dogguy + * Move package to section ocaml + * Fix debian-rules-ignores-make-clean-error + * Fix debian-copyright-file-uses-obsolete-national-encoding + * Add dh-ocaml as a build-dependency + * Tighten build dependencies to ease OCaml 3.11.1 transition + * Generate and install documentation + + -- Mehdi Dogguy Tue, 07 Jul 2009 13:48:30 +0200 + +ocamlcreal (0.7-4) unstable; urgency=low + + * Rebuild for 3.10.0 + + -- Mike Furr Mon, 10 Sep 2007 15:57:23 -0400 + +ocamlcreal (0.7-3) unstable; urgency=low + + * Remove control.in per new policy + * Rebuild for 3.09.2 (Closes: #376398) + * svn layout is now svn-buildpackage compatible + + -- Mike Furr Fri, 8 Sep 2006 15:47:58 -0400 + +ocamlcreal (0.7-2) unstable; urgency=low + + * Remove hard-coded abi strings + * Rebuild for 3.09.1 + + -- Mike Furr Mon, 9 Jan 2006 19:45:33 -0500 + +ocamlcreal (0.7-1) unstable; urgency=low + + * New upstream release + * Built with 3.09 + + -- Mike Furr Sat, 26 Nov 2005 18:21:20 -0500 + +ocamlcreal (0.4-7) unstable; urgency=medium + + * Removed config.status in the clean target to prevent FTBFS when + buildpackage doesn't call configure. (Closes: 304885) + + -- Mike Furr Sat, 16 Apr 2005 11:47:33 -0400 + +ocamlcreal (0.4-6) unstable; urgency=low + + * Re-build to fix incorrect NMU version + + -- Mike Furr Tue, 12 Apr 2005 17:05:25 -0400 + +ocamlcreal (0.4-5.1.1) unstable; urgency=low + + * Maintainer binary recompilation for i386 since my build env + was broken on the previous build (thus no opt libraries) + + -- Mike Furr Sun, 10 Apr 2005 13:44:09 -0400 + +ocamlcreal (0.4-5) unstable; urgency=medium + + * Rebuild for 3.08.3 (+build deps) + * Added stricter deps on mlgmp + + -- Mike Furr Wed, 23 Mar 2005 14:36:54 -0500 + +ocamlcreal (0.4-4) unstable; urgency=low + + * Changed section to libdevel + * Rebuild with ocaml 3.08 + * Update deps to ocaml-nox-3.08 + * Fixed .depend so the local gmp files won't be built. + + -- Mike Furr Thu, 22 Jul 2004 13:37:04 -0400 + +ocamlcreal (0.4-3) unstable; urgency=low + + * Changed debian/control to only have ascii characters. + (Thanks to Denis Barbier, Closes: 245592) + + -- Mike Furr Wed, 28 Apr 2004 18:29:23 -0400 + +ocamlcreal (0.4-2) unstable; urgency=low + + * Removed make dep call from rules since it was screwing this up. + + -- Mike Furr Mon, 19 Apr 2004 23:43:16 -0400 + +ocamlcreal (0.4-1) unstable; urgency=low + + * Initial Release. (Closes: 242842) + + -- Mike Furr Sat, 10 Apr 2004 12:49:19 -0400 --- ocamlcreal-0.7.orig/debian/README.source +++ ocamlcreal-0.7/debian/README.source @@ -0,0 +1,20 @@ +ocamlcreal Debian source package +================================ + +Patching upstream sources +------------------------- + +This package uses dpatch to manage all modifications to the upstream +source. Changes are stored in the source package as diffs in +debian/patches and applied during the build. + +To get the fully patched source after unpacking the source package, cd +to the root level of the source package and run: + + debian/rules patch + +Removing a patch is as simple as removing its entry from the +debian/patches/00list file, and please also remove the patch file +itself. + + -- Mehdi Dogguy , Tue, 7 Jul 2009 13:05:54 +0200 --- ocamlcreal-0.7.orig/debian/rules +++ ocamlcreal-0.7/debian/rules @@ -0,0 +1,22 @@ +#!/usr/bin/make -f + +PACKAGE=libcreal-ocaml-dev + +include /usr/share/ocaml/ocamlvars.mk + +override_dh_auto_build: + $(MAKE) depend + $(MAKE) + $(MAKE) test + +override_dh_auto_clean: + [ ! -f Makefile ] || $(MAKE) clean + rm -f config.status + +override_dh_auto_install: + mkdir -p $(CURDIR)/debian/$(PACKAGE)$(OCAML_STDLIB_DIR)/creal + $(MAKE) install LIBDIR=$(CURDIR)/debian/$(PACKAGE)$(OCAML_STDLIB_DIR)/creal + cp debian/META debian/$(PACKAGE)$(OCAML_STDLIB_DIR)/creal + +%: + dh --with quilt,ocaml $@ --- ocamlcreal-0.7.orig/debian/control +++ ocamlcreal-0.7/debian/control @@ -0,0 +1,39 @@ +Source: ocamlcreal +Section: ocaml +Priority: optional +Maintainer: Debian OCaml Maintainers +Uploaders: + Mike Furr , + Mehdi Dogguy +Build-Depends: + ocaml-nox (>= 3.11.1-3~), + debhelper (>= 7.0.50~), + quilt (>= 0.46-7), + libgmp-ocaml-dev (>= 20021123-16), + dh-ocaml (>= 0.9~) +Standards-Version: 3.8.3 +Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/ocamlcreal.git +Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/ocamlcreal.git + +Package: libcreal-ocaml-dev +Architecture: any +Depends: + ${ocaml:Depends}, + ${misc:Depends}, + ${shlibs:Depends}, +Provides: + ${ocaml:Provides} +Description: O'Caml library that implements exact real arithmetic + This module implements exact real arithmetic, following Valerie + Menissier-Morain Ph.D. thesis (http://www-calfor.lip6.fr/~vmm/). + . + A real x is represented as a function giving, for any n, an + approximation zn/4^n of x such that |zn/4^n - x| < 1, where zn is an + arbitrary precision integer (of type Gmp.Z.t). + . + Coercions from type int, Gmp.Z.t, Gmp.Q.t, basic operations (addition, + subtraction, multiplication, division, power, square root) and + transcendental functions (sin, cos, tan, log, exp, arcsin, arccos, + etc.) and a few constants (pi, e) are provided. + . + A small reverse-polish calculator is provided to test the library. --- ocamlcreal-0.7.orig/debian/copyright +++ ocamlcreal-0.7/debian/copyright @@ -0,0 +1,30 @@ +This package was debianized by Mike Furr on +Sat, 10 Apr 2004 12:49:19 -0400. + +It was downloaded from http://www.lri.fr/~filliatr/software.en.html + +Upstream Author: Jean-Christophe Fillitre + +Copyright: + +Module Creal for Objective caml: Exact real arithmetic. +Copyright © 2000 Jean-Christophe Filliâtre. + +Everything in directory mlgmp/ is Copyright (C) 1999- David Monniaux. + +Most algorithms are from Valérie Ménissier-Morain Ph.D. thesis +(http://www-calfor.lip6.fr/~vmm/) + +This program is free software; you can redistribute it and/or modify +it under the terms of the GNU Library General Public License version 2, as +published by the Free Software Foundation. + +This program is distributed in the hope that it will be useful, +but WITHOUT ANY WARRANTY; without even the implied warranty of +MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. + +See the GNU Library General Public License version 2 for more details +(enclosed in the file LGPL). + +[Note: the LGPL is available at /usr/share/common-licenses/LGPL-2 on + Debian systems ] --- ocamlcreal-0.7.orig/debian/META +++ ocamlcreal-0.7/debian/META @@ -0,0 +1,7 @@ +name="creal" +version="0.7" +description="Exact real arithmatic" +archive(byte)="creal.cma" +archive(native)="creal.cmxa" +requires="gmp" +directory="+creal" --- ocamlcreal-0.7.orig/debian/compat +++ ocamlcreal-0.7/debian/compat @@ -0,0 +1 @@ +7 --- ocamlcreal-0.7.orig/debian/gbp.conf +++ ocamlcreal-0.7/debian/gbp.conf @@ -0,0 +1,2 @@ +[DEFAULT] +pristine-tar = True --- ocamlcreal-0.7.orig/debian/libcreal-ocaml-dev.ocamldoc +++ ocamlcreal-0.7/debian/libcreal-ocaml-dev.ocamldoc @@ -0,0 +1 @@ +-I +gmp --- ocamlcreal-0.7.orig/debian/docs +++ ocamlcreal-0.7/debian/docs @@ -0,0 +1 @@ +README --- ocamlcreal-0.7.orig/debian/patches/0001-Add-OCAMLBEST-targets-and-fix-build-and-install-proc.patch +++ ocamlcreal-0.7/debian/patches/0001-Add-OCAMLBEST-targets-and-fix-build-and-install-proc.patch @@ -0,0 +1,149 @@ +From: Mike Furr +Date: Tue, 6 Oct 2009 19:15:45 +0200 +Subject: [PATCH] Add $(OCAMLBEST) targets and fix build and install process + +--- + Makefile.in | 54 ++++++++++++++++++++++++++++-------------------------- + 1 files changed, 28 insertions(+), 26 deletions(-) + +diff --git a/Makefile.in b/Makefile.in +index b6bcbe9..d217a3e 100644 +--- a/Makefile.in ++++ b/Makefile.in +@@ -16,7 +16,7 @@ OCAMLOPT = @OCAMLOPT@ + OCAMLLEX = @OCAMLLEX@ + OCAMLYACC= @OCAMLYACC@ + +-INCLUDES = -I mlgmp ++INCLUDES = -I +gmp + BFLAGS = -g $(INCLUDES) + OFLAGS = -unsafe $(INCLUDES) + +@@ -31,19 +31,20 @@ CRCMX = $(CRCMO:.cmo=.cmx) + CMA = creal.cma + CMXA = creal.cmxa + +-GMPCMA = mlgmp/gmp.cma +-GMPCMXA = mlgmp/gmp.cmxa ++GMPCMA = gmp.cma ++GMPCMXA = gmp.cmxa + +-all: @OCAMLBEST@ test.@OCAMLBEST@ test_cr.@OCAMLBEST@ ecalc.@OCAMLBEST@ ++OCAMLBEST = @OCAMLBEST@ ++all: $(OCAMLBEST) test.$(OCAMLBEST) test_cr.$(OCAMLBEST) ecalc.$(OCAMLBEST) + +-byte: $(GMPCMA) $(CMA) $(CRCMO) cmpf.cmo +-opt: $(GMPCMA) $(CMA) $(GMPCMXA) $(CMXA) $(CRCMO) $(CRCMX) cmpf.cmx ++byte: $(CMA) $(CRCMO) cmpf.cmo ++opt: $(CMA) $(CMXA) $(CRCMO) $(CRCMX) cmpf.cmx + +-$(CMA): libcreal.a $(GMPCMA) $(CMO) +- ocamlmklib -linkall -o creal $(GMPCMA) $(CMO) -lgmp ++$(CMA): $(CMO) ++ $(OCAMLC) -a -o $(CMA) $(CMO) + +-$(CMXA):libcreal.a $(GMPCMX) $(CMX) +- ocamlmklib -linkall -o creal $(GMPCMX) $(CMX) -lgmp ++$(CMXA): $(CMX) ++ $(OCAMLOPT) -a -o $(CMXA) $(CMX) + + libcreal.a: mlgmp/mlgmp_z.o mlgmp/mlgmp_q.o mlgmp/mlgmp_misc.o + ocamlmklib -oc creal $^ -lgmp +@@ -68,19 +69,19 @@ TESTCMO=test.cmo + TESTCMX=$(TESTCMO:.cmo=.cmx) + + test.opt: $(CMXA) $(TESTCMX) +- $(OCAMLOPT) $(OFLAGS) -o $@ $^ -cclib "-L." ++ $(OCAMLOPT) $(OFLAGS) $(INCLUDES) $(GMPCMXA) -o $@ $^ -cclib "-L." + + test.byte: $(CMA) $(TESTCMO) +- $(OCAMLC) $(BFLAGS) -o $@ $^ -cclib "-L." ++ $(OCAMLC) $(BFLAGS) $(INCLUDES) $(GMPCMA) -o $@ $^ -cclib "-L." + + TESTCRCMO=test_cr.cmo + TESTCRCMX=$(TESTCRCMO:.cmo=.cmx) + + test_cr.opt: $(CMXA) $(TESTCRCMX) +- $(OCAMLOPT) $(OFLAGS) -o $@ $^ -cclib "-L." ++ $(OCAMLOPT) $(OFLAGS) $(INCLUDES) $(GMPCMXA) -o $@ $^ -cclib "-L." + + test_cr.byte: $(CMA) $(TESTCRCMO) +- $(OCAMLC) $(BFLAGS) -o $@ $^ -cclib "-L." ++ $(OCAMLC) $(BFLAGS) $(INCLUDES) $(GMPCMA) -o $@ $^ -cclib "-L." + + md.opt: $(CMXA) md.ml + $(OCAMLOPT) $(OFLAGS) -o $@ $^ -cclib "-L." +@@ -100,10 +101,10 @@ CALCCMO=calc.cmo + CALCCMX=$(CALCCMO:.cmo=.cmx) + + ecalc.opt: $(CMXA) $(CALCCMX) +- $(OCAMLOPT) $(OFLAGS) -o $@ $^ -cclib "-L." ++ $(OCAMLOPT) $(OFLAGS) $(INCLUDES) $(GMPCMXA) -o $@ $^ -cclib "-L." + + ecalc.byte: $(CMA) $(CALCCMO) +- $(OCAMLC) $(BFLAGS) -o $@ $^ -cclib "-L." ++ $(OCAMLC) $(BFLAGS) $(INCLUDES) $(GMPCMA) -o $@ $^ -cclib "-L." + + GENERATED=calc.ml + +@@ -117,8 +118,8 @@ CREALPP=creal_pp.cmo install_creal_pp.cmo + ocamlcreal: creal.cma $(GMPPP) $(CREALPP) + ocamlmktop -o $@ $^ -cclib "-L." + +-test: test.opt +- ./test.opt -check -p 50 ++test: test.$(OCAMLBEST) ++ ./test.$(OCAMLBEST) -check -p 50 + + bench: test.opt + echo -n `date +"%a %d/%m/%Y %H:%M"` >> bench.log +@@ -130,28 +131,28 @@ bench: test.opt + GMPBYTEFILES = mlgmp/gmp.cma mlgmp/gmp.cmi mlgmp/gmp.mli mlgmp/libmlgmp.a + GMPOPTFILES = mlgmp/gmp.cmxa mlgmp/gmp.a + BYTEFILES = $(CMA) $(CMI) $(MLI) +-OPTFILES = $(CMXA) creal.a libcreal.a ++OPTFILES = $(CMXA) creal.a + + LIBDIR = @OCAMLLIB@/creal + +-install: install-prog install-lib install-toplevels ++install: install-lib + + install-lib: install-lib-@OCAMLBEST@ + + install-prog: install-prog-@OCAMLBEST@ + + install-lib-byte: +- mkdir -p $(LIBDIR) +- cp -f $(BYTEFILES) $(GMPBYTEFILES) $(LIBDIR) ++ mkdir -p $(DESTDIR)$(LIBDIR) ++ cp -f $(BYTEFILES) $(DESTDIR)$(LIBDIR) + + install-prog-byte: + mkdir -p $(BINDIR) + cp ecalc.byte $(BINDIR)/ecalc + + install-lib-opt: +- mkdir -p $(LIBDIR) +- cp -f $(BYTEFILES) $(GMPBYTEFILES) $(LIBDIR) +- cp -f $(OPTFILES) $(GMPOPTFILES) $(LIBDIR) ++ mkdir -p $(DESTDIR)$(LIBDIR) ++ cp -f $(BYTEFILES) $(DESTDIR)$(LIBDIR) ++ cp -f $(OPTFILES) $(DESTDIR)$(LIBDIR) + + install-prog-opt: + mkdir -p $(BINDIR) +@@ -263,10 +264,11 @@ clean: + rm -f creal.tex creal.dvi creal.ps creal.ps.gz + rm -f test.byte test.opt ecalc.byte ecalc.opt + rm -f ocamlgmp ocamlcreal ++ rm -f test_cr.byte test_cr.opt + + depend: $(GENERATED) + rm -f .depend +- @OCAMLDEP@ $(INCLUDES) mlgmp/*.mli mlgmp/*.ml *.mli *.ml > .depend ++ @OCAMLDEP@ $(INCLUDES) *.mli *.ml > .depend + + include .depend + +-- --- ocamlcreal-0.7.orig/debian/patches/series +++ ocamlcreal-0.7/debian/patches/series @@ -0,0 +1 @@ +0001-Add-OCAMLBEST-targets-and-fix-build-and-install-proc.patch