[Pkg-ocaml-maint-commits] [SCM] apron packaging branch, master, updated. upstream/0.9.10-1-g1efef42

Samuel Mimram samuel.mimram at ens-lyon.org
Sun Oct 25 12:40:43 UTC 2009 

The following commit has been merged in the master branch:
commit 1efef423d98199c43843f90e0f55738528225468
Author: Samuel Mimram <samuel.mimram at ens-lyon.org>
Date:   Sun Oct 25 13:40:29 2009 +0100

    Started packaging APRON...

diff --git a/Makefile.config.model b/debian/Makefile.config
similarity index 86%
copy from Makefile.config.model
copy to debian/Makefile.config
index 08542e5..7375392 100644
--- a/Makefile.config.model
+++ b/debian/Makefile.config
@@ -32,12 +32,12 @@ HAS_OCAML = 1
 # Where to install and to find APRON
 # ($(APRON_PREFIX)/include, $(APRON_PREFIX)/lib)
 #
-APRON_PREFIX = /tmp
+#APRON_PREFIX = /usr/include
 
 # Where to install and to find MLGMPIDL
 # ($(MLGMPIDL_PREFIX)/lib)
 #
-MLGMPIDL_PREFIX = /tmp
+#MLGMPIDL_PREFIX = /tmp
 
 # Where to find GMP ($(GMP_PREFIX)/include, ($GMP_PREFIX)/lib
 #
@@ -82,12 +82,6 @@ CFLAGS_DEBUG = \
 -std=c99  -U__STRICT_ANSI__ \
 -fPIC -g -O0 -UNDEBUG
 
-# Examples of CFLAGS
-# CFLAGS = -Wswitch -Werror-implicit-function-declaration -Wall -std=c99	\
-#	   -O3 -DNDEBUG \
-#          -march=pentium-m -mtune=pentium-m -pipe -mmmx -msse -msse2 \
-#	   -mfpmath=sse -ftracer -funit-at-a-time -funroll-loops -fmove-all-movables
-
 # C++ compiler
 CXX = g++
 # C++ compilation flags
@@ -111,8 +105,8 @@ INSTALL = install
 INSTALLd = install -d
 
 
-OCAMLC = $(CAML_PREFIX)/bin/ocamlc.opt
-OCAMLOPT = $(CAML_PREFIX)/bin/ocamlopt.opt
+OCAMLC = $(CAML_PREFIX)/bin/ocamlc$(OPT)
+OCAMLOPT = $(CAML_PREFIX)/bin/ocamlopt$(OPT)
 
 # ocamlc compilation flags
 OCAMLFLAGS = -g
@@ -120,9 +114,9 @@ OCAMLFLAGS = -g
 OCAMLOPTFLAGS = -inline 20
 
 OCAMLDEP = $(CAML_PREFIX)/bin/ocamldep
-OCAMLLEX = $(CAML_PREFIX)/bin/ocamllex.opt
+OCAMLLEX = $(CAML_PREFIX)/bin/ocamllex$(OPT)
 OCAMLYACC = $(CAML_PREFIX)/bin/ocamlyacc
-OCAMLDOC = $(CAML_PREFIX)/bin/ocamldoc.opt
+OCAMLDOC = $(CAML_PREFIX)/bin/ocamldoc$(OPT)
 OCAMLMKTOP = $(CAML_PREFIX)/bin/ocamlmktop
 OCAMLMKLIB = $(CAML_PREFIX)/bin/ocamlmklib
 
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..bfd6650
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,5 @@
+apron (0.9.10-1) unstable; urgency=low
+
+  * Initial release, closes: #XXXXXX.
+
+ -- Samuel Mimram <smimram at debian.org>  Wed, 21 Oct 2009 19:06:36 +0200
diff --git a/debian/clean b/debian/clean
new file mode 100644
index 0000000..1d5d22f
--- /dev/null
+++ b/debian/clean
@@ -0,0 +1,3 @@
+Makefile.config
+apron/Makefile.config
+mlgmpidl/Makefile.config
diff --git a/debian/compat b/debian/compat
new file mode 100644
index 0000000..7f8f011
--- /dev/null
+++ b/debian/compat
@@ -0,0 +1 @@
+7
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..05dde26
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,70 @@
+Source: apron
+Section: libdevel
+Priority: optional
+Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
+Uploaders:
+ Samuel Mimram <smimram at debian.org>,
+Build-Depends:
+ debhelper (>= 7.0.50~),
+ ocaml (>= 3.11.1),
+ ocaml-native-compilers | ocaml-best-compilers,
+ camlidl,
+ dh-ocaml (>= 0.9),
+ libgmp3-dev,
+ libmpfr-dev
+Standards-Version: 3.8.3
+Homepage: http://apron.cri.ensmp.fr/library/
+Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/apron.git
+Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/apron.git
+
+Package: libapron
+Architecture: any
+Depends: ${shlibs:Depends}, ${misc:Depends}
+Description: Runtime libraries for APRON
+ The APRON library is dedicated to the static analysis of the numerical
+ variables of a program by Abstract Interpretation. The aim of such an analysis
+ is to infer invariants about these variables. It is intended to be a common
+ interface to various underlying libraries/abstract domains and to provide
+ additional services that can be implemented independently from the underlying
+ library/abstract domain.
+
+Package: liblapron-dev
+Architecture: all
+Depends: ${shlibs:Depends}, ${misc:Depends}
+Provides: ${ocaml:Provides}
+Description: An abstract interpretation library
+ The APRON library is dedicated to the static analysis of the numerical
+ variables of a program by Abstract Interpretation. The aim of such an analysis
+ is to infer invariants about these variables. It is intended to be a common
+ interface to various underlying libraries/abstract domains and to provide
+ additional services that can be implemented independently from the underlying
+ library/abstract domain.
+
+Package: libapron-ocaml
+Architecture: any
+Depends: ${ocaml:Depends}, ${shlibs:Depends}, ${misc:Depends}
+Provides: ${ocaml:Provides}
+Description: Runtime libraries for APRON
+ The APRON library is dedicated to the static analysis of the numerical
+ variables of a program by Abstract Interpretation. The aim of such an analysis
+ is to infer invariants about these variables. It is intended to be a common
+ interface to various underlying libraries/abstract domains and to provide
+ additional services that can be implemented independently from the underlying
+ library/abstract domain.
+ .
+ This package include only the dynamic libraries needed for running dynamic
+ bytecode executables.
+
+Package: liblapron-ocaml-dev
+Architecture: any
+Depends: ${ocaml:Depends}, ${shlibs:Depends}, ${misc:Depends}
+Provides: ${ocaml:Provides}
+Description: An abstract interpretation library
+ The APRON library is dedicated to the static analysis of the numerical
+ variables of a program by Abstract Interpretation. The aim of such an analysis
+ is to infer invariants about these variables. It is intended to be a common
+ interface to various underlying libraries/abstract domains and to provide
+ additional services that can be implemented independently from the underlying
+ library/abstract domain.
+ .
+ This package gives access to the APRON library from OCaml.
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..57a3990
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,53 @@
+Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat?action=recall&rev=179
+Packaged-By: Samuel Mimram <smimram at debian.org>
+Packaged-Date: Wed Oct 21 19:11:16 CEST 2009
+Upstream-Source: http://apron.cri.ensmp.fr/library/
+Upstream-Maintainer:
+
+Files: apron/*
+Copyright:
+License: LGPL-2.1
+
+Files: apron/apronxx/*
+Copyright: © 2007-2009 Antoine Miné
+License: LGPL-2.1
+
+Files: apron/apronxx/apronxx_test.cc,
+       apron/apronxx/apxx_ppl.hh,
+       apron/apronxx/apxx_ppl_inline.hh,
+       apron/apronxx/apxx_ppl_product.hh,
+       apron/apronxx/apxx_ppl_product_inline.hh
+Copyright: © 2007-2009 Antoine Miné <mine at di.ens.fr>
+License: GPL-2
+
+Files: apron/box/*
+Copyright: © 2006-2009 Bertrand Jeannet
+License: LGPL-2.1
+
+Files: apron/itv/*
+Copyright: © 2006-2009 Bertrand Jeannet and Antoine Miné
+License: LGPL-2.1
+
+Files: apron/mlapronidl/*
+Copyright: © 2005-2009 Bertrand Jeannet
+License: LGPL-2.1
+
+Files: apron/newpolka/*
+Copyright: © 1999-2009 Bertrand Jeannet
+License: LGPL-2.1
+
+Files: apron/octagons/*
+Copyright: © 2006-2009 Antoine Miné
+License: LGPL-2.1
+
+Files: apron/ppl/*
+Copyright: © 2006-2009 Antoine Miné
+License: GPL-2
+
+Files: apron/test/*
+Copyright: © 2005-2009 Bertrand Jeannet and Antoine Miné
+License: GPL-2
+
+Files: debian/*
+Copyright: © 2009 Samuel Mimram <smimram at debian.org>
+License: GPL
diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index 0000000..cec628c
--- /dev/null
+++ b/debian/gbp.conf
@@ -0,0 +1,2 @@
+[DEFAULT]
+pristine-tar = True
diff --git a/debian/libapron-dev.dirs b/debian/libapron-dev.dirs
new file mode 100644
index 0000000..e43b95c
--- /dev/null
+++ b/debian/libapron-dev.dirs
@@ -0,0 +1 @@
+usr/include
diff --git a/debian/libapron-dev.install b/debian/libapron-dev.install
new file mode 100644
index 0000000..e43b95c
--- /dev/null
+++ b/debian/libapron-dev.install
@@ -0,0 +1 @@
+usr/include
diff --git a/debian/libapron-ocaml-dev.dirs b/debian/libapron-ocaml-dev.dirs
new file mode 100644
index 0000000..b582539
--- /dev/null
+++ b/debian/libapron-ocaml-dev.dirs
@@ -0,0 +1 @@
+usr/lib/ocaml/apron
diff --git a/debian/libapron-ocaml-dev.install b/debian/libapron-ocaml-dev.install
new file mode 100644
index 0000000..a58a589
--- /dev/null
+++ b/debian/libapron-ocaml-dev.install
@@ -0,0 +1,4 @@
+usr/lib/*.a     /usr/lib/ocaml/apron
+usr/lib/*.cm*   /usr/lib/ocaml/apron
+usr/lib/*.ml*   /usr/lib/ocaml/apron
+usr/lib/*.idl   /usr/lib/ocaml/apron
diff --git a/debian/libapron-ocaml.dirs b/debian/libapron-ocaml.dirs
new file mode 100644
index 0000000..0851956
--- /dev/null
+++ b/debian/libapron-ocaml.dirs
@@ -0,0 +1 @@
+usr/lib/ocaml/stublibs
diff --git a/debian/libapron-ocaml.install b/debian/libapron-ocaml.install
new file mode 100644
index 0000000..a822ae0
--- /dev/null
+++ b/debian/libapron-ocaml.install
@@ -0,0 +1,2 @@
+usr/lib/dll*.so         /usr/lib/ocaml/stublibs
+usr/lib/*_caml*.so      /usr/lib/ocaml/stublibs
diff --git a/debian/libapron.dirs b/debian/libapron.dirs
new file mode 100644
index 0000000..6845771
--- /dev/null
+++ b/debian/libapron.dirs
@@ -0,0 +1 @@
+usr/lib
diff --git a/debian/libapron.install b/debian/libapron.install
new file mode 100644
index 0000000..bc921c1
--- /dev/null
+++ b/debian/libapron.install
@@ -0,0 +1,16 @@
+usr/lib/libapron_debug.so
+usr/lib/libapron.so
+usr/lib/libboxD_debug.so
+usr/lib/libboxD.so
+usr/lib/libboxMPFR_debug.so
+usr/lib/libboxMPFR.so
+usr/lib/libboxMPQ_debug.so
+usr/lib/libboxMPQ.so
+usr/lib/liboctD_debug.so
+usr/lib/liboctD.so
+usr/lib/liboctMPQ_debug.so
+usr/lib/liboctMPQ.so
+usr/lib/libpolkaMPQ_debug.so
+usr/lib/libpolkaMPQ.so
+usr/lib/libpolkaRll_debug.so
+usr/lib/libpolkaRll.so
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..49848e3
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,33 @@
+#!/usr/bin/make -f
+# -*- makefile -*-
+
+include /usr/share/ocaml/ocamlvars.mk
+
+# Uncomment this to turn on verbose mode.
+#export DH_VERBOSE=1
+
+%:
+	dh --with ocaml $@
+
+.PHONY: override_dh_auto_configure
+override_dh_auto_configure:
+	cp debian/Makefile.config .
+	mkdir -p $(CURDIR)/debian/tmp/usr/include
+	echo "APRON_PREFIX = $(CURDIR)/debian/tmp/usr" >> Makefile.config
+	echo "MLGMPIDL_PREFIX = $(CURDIR)/debian/tmp/usr" >> Makefile.config
+ifneq ($(OCAML_OPT_ARCH),)
+	echo "OPT=.opt" >> Makefile.config
+endif
+
+.PHONY: override_dh_auto_build
+override_dh_auto_build:
+	$(MAKE)
+
+.PHONY: override_dh_auto_clean
+override_dh_auto_clean:
+	[ ! -f "$(CURDIR)/Makefile" ] || [ ! -f "$(CURDIR)/Makefile.config" ] || $(MAKE) clean
+
+.PHONY: override_dh_auto_install
+override_dh_auto_install:
+	$(MAKE) install
+	$(MAKE) -C apron install
diff --git a/debian/watch b/debian/watch
new file mode 100644
index 0000000..9de838e
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,2 @@
+version=3
+http://apron.cri.ensmp.fr/library/ apron-([0-9]\..*)\.tgz

-- 
apron packaging

More information about the Pkg-ocaml-maint-commits mailing list