debian/0000755000000000000000000000000012256544510007172 5ustar debian/Makefile.config0000644000000000000000000000623712256542535012113 0ustar # -*- mode: makefile -*- ###################################################################### # HAS Flags ###################################################################### # If defined to non-empty value, generates dynamic libraries. # Do not forget to add -fPIC to CFLAGS and CFLAGS_DEBUG HAS_SHARED=1 # If defined to non-empty value, compiles the OCaml interface HAS_OCAML = 1 # If defined to non-empty value, compiles the C++ interface (beta version) # HAS_CPP = 1 # If defined to non-empty value, compiles the PPL domain # (require included patch to PPL, see ppl/README and ppl/ppl.patch) HAS_PPL = 1 # If defined to non-empty value, support for "long double" is enabled # HAS_LONG_DOUBLE = 1 ###################################################################### # Directories ###################################################################### # Where to install and to find APRON # ($(APRON_PREFIX)/include, $(APRON_PREFIX)/lib) # #APRON_PREFIX = /usr/include # Where to install and to find MLGMPIDL # ($(MLGMPIDL_PREFIX)/lib) # #MLGMPIDL_PREFIX = /tmp # Where to find GMP ($(GMP_PREFIX)/include, ($GMP_PREFIX)/lib # GMP_PREFIX = /usr # Where to find MPFR ($(MPFR_PREFIX)/include, ($MPFR_PREFIX)/lib # MPFR_PREFIX = /usr # Where to find PPL ($(PPL_PREFIX)/include, $(PPL_PREFIX)/lib # PPL_PREFIX = /usr # Where to find OCAML ($(CAML_PREFIX)/bin, $(CAML_PREFIX)/lib/ocaml, ...) # CAML_PREFIX = /usr # Where to find CAMLIDL ($(CAMLIDL_PREFIX)/bin, $(CAMLIDL_PREFIX)/lib/ocaml, ...) # CAMLIDL_PREFIX = /usr ###################################################################### # Tools and Flags ###################################################################### # C compiler CC = gcc # C compilation flags CFLAGS = \ -Wcast-qual -Wswitch -Werror-implicit-function-declaration \ -Wall -Wextra -Wundef -Wbad-function-cast -Wcast-align -Wstrict-prototypes \ -Wno-unused \ -std=c99 -U__STRICT_ANSI__ \ -fPIC -O3 -DNDEBUG # C compilation flags in debug (or profile) mode CFLAGS_DEBUG = \ -Wcast-qual -Wswitch -Werror-implicit-function-declaration \ -Wall -Wextra -Wundef -Wbad-function-cast -Wcast-align -Wstrict-prototypes \ -Wno-unused \ -std=c99 -U__STRICT_ANSI__ \ -fPIC -g -O0 -UNDEBUG # C++ compiler CXX = g++ # C++ compilation flags CXXFLAGS = \ -Wcast-qual -Wswitch \ -Wall -Wextra -Wundef -Wcast-align \ -Wno-unused \ -fPIC -O3 -DNDEBUG # C++ compilation flags in debug (or profile) mode CXXFLAGS_DEBUG = \ -Wcast-qual -Wswitch \ -Wall -Wextra -Wundef -Wcast-align \ -Wno-unused \ -fPIC -g -O0 -UNDEBUG AR = ar RANLIB = ranlib SED = sed # version >=4.1.x required M4 = m4 INSTALL = install INSTALLd = install -d OCAMLC = $(CAML_PREFIX)/bin/ocamlc$(OPT) OCAMLOPT = $(CAML_PREFIX)/bin/ocamlopt$(OPT) # ocamlc compilation flags OCAMLFLAGS = -g # ocamlopt compilation flags OCAMLOPTFLAGS = -inline 20 OCAMLDEP = $(CAML_PREFIX)/bin/ocamldep OCAMLLEX = $(CAML_PREFIX)/bin/ocamllex$(OPT) OCAMLYACC = $(CAML_PREFIX)/bin/ocamlyacc OCAMLDOC = $(CAML_PREFIX)/bin/ocamldoc$(OPT) OCAMLMKTOP = $(CAML_PREFIX)/bin/ocamlmktop OCAMLMKLIB = $(CAML_PREFIX)/bin/ocamlmklib CAMLIDL = $(CAMLIDL_PREFIX)/bin/camlidl LATEX=latex DVIPDF=dvipdf MAKEINDEX=makeindex TEXI2DVI=texi2dvi TEXI2HTML=texi2html debian/libapron.dirs0000644000000000000000000000004412256542535011666 0ustar usr/lib usr/share/lintian/overrides debian/control0000644000000000000000000000623712256544001010600 0ustar Source: apron Section: libdevel Priority: optional Maintainer: Debian OCaml Maintainers Build-Depends: debhelper (>= 9), ocaml-nox (>= 3.11.1-3~), ocaml-best-compilers, camlidl, dh-ocaml (>= 0.9~), libgmp3-dev, libmpfr-dev, libppl-dev, texi2html (>= 1.82) Standards-Version: 3.9.0 Homepage: http://apron.cri.ensmp.fr/library/ Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/apron.git Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/apron.git Package: libapron Section: libs 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. . This package contains the shared libraries needed at runtime. Package: libapron-dev Architecture: all Depends: ${shlibs:Depends}, ${misc:Depends}, libgmp3-dev, libmpfr-dev, libppl-dev Description: 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 contains the files necessary to use the APRON library in C. Package: libapron-ocaml Section: ocaml Architecture: any Depends: ${ocaml:Depends}, ${shlibs:Depends}, ${misc:Depends} Provides: ${ocaml:Provides} Description: runtime libraries for APRON (OCaml interface) 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: libapron-ocaml-dev Section: ocaml Architecture: any Depends: ${ocaml:Depends}, ${shlibs:Depends}, ${misc:Depends}, libapron-dev Provides: ${ocaml:Provides} Description: abstract interpretation library (OCaml interface) 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 contains the files necessary to use the APRON library in OCaml. debian/libapron-ocaml-dev.docs0000644000000000000000000000005312256542535013522 0ustar apron/mlapronidl/html debian/README.source debian/libapron-ocaml.dirs0000644000000000000000000000002712256542535012760 0ustar usr/lib/ocaml/stublibs debian/README.source0000644000000000000000000000064212256542535011360 0ustar APRON Debian source package =========================== Patching upstream sources ------------------------- This source package uses quilt to apply and remove its patches. Please refer to `/usr/share/doc/quilt/README.source' for information about how to use quilt for source packages. The quilt series is generated from the Git repository. Have a look at the `redo-patches' target of debian/rules for more details. debian/source/0000755000000000000000000000000012256542535010477 5ustar debian/source/format0000644000000000000000000000001412256542535011705 0ustar 3.0 (quilt) debian/copyright0000644000000000000000000000521112256542535011131 0ustar Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat?action=recall&rev=179 Packaged-By: Samuel Mimram Packaged-Date: Wed Oct 21 19:11:16 CEST 2009 Upstream-Source: http://apron.cri.ensmp.fr/library/ Upstream-Maintainer: Bertand Jeannet and Antoine Miné Files: apron/* Copyright: © 2005-2009 Bertrand Jeannet and Antoine Miné License: LGPL-2.1+ This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version. This library 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 Lesser General Public License for more details. The complete text of the GNU Lesser General Public License can be found in `/usr/share/common-licenses/LGPL-2.1'. Files: apron/apron/* Copyright: © 2005-2009 Bertrand Jeannet Files: apron/apronxx/* Copyright: © 2007-2009 Antoine Miné 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é License: GPL-2+ This program 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. 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 General Public License for more details. The complete text of the GNU General Public License can be found in `/usr/share/common-licenses/GPL-2'. Files: apron/box/* Copyright: © 2006-2009 Bertrand Jeannet Files: apron/itv/* Copyright: © 2006-2009 Bertrand Jeannet and Antoine Miné Files: apron/mlapronidl/* Copyright: © 2005-2009 Bertrand Jeannet Files: apron/newpolka/* Copyright: © 1999-2009 Bertrand Jeannet Files: apron/octagons/* Copyright: © 2006-2009 Antoine Miné 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: mlgmpidl/* Copyright: © 2005-2009 Bertrand Jeannet Files: debian/* Copyright: © 2009 Samuel Mimram License: GPL-2+ debian/watch0000644000000000000000000000010412256542535010223 0ustar version=3 http://apron.cri.ensmp.fr/library/ apron-([0-9]\..*)\.tgz debian/libapron-ocaml.docs0000644000000000000000000000002512256542535012745 0ustar debian/README.source debian/libapron.install0000644000000000000000000000035112256542535012374 0ustar usr/lib/libap_pkgrid.so.* usr/lib/libap_ppl.so.* usr/lib/libapron.so.* usr/lib/libboxD.so.* usr/lib/libboxMPFR.so.* usr/lib/libboxMPQ.so.* usr/lib/liboctD.so.* usr/lib/liboctMPQ.so.* usr/lib/libpolkaMPQ.so.* usr/lib/libpolkaRll.so.* debian/compat0000644000000000000000000000000212256544004010366 0ustar 9 debian/libapron-dev.docs0000644000000000000000000000004612256542535012433 0ustar apron/apron/html debian/README.source debian/libapron-ocaml-dev.examples0000644000000000000000000000010212256542535014403 0ustar apron/examples/*.ml apron/examples/Makefile apron/examples/README debian/libapron-dev.dirs0000644000000000000000000000001412256542535012437 0ustar usr/include debian/libapron.docs0000644000000000000000000000002512256542535011654 0ustar debian/README.source debian/libapron-ocaml.install0000644000000000000000000000014012256542535013461 0ustar usr/lib/dll*_caml.so /usr/lib/ocaml/stublibs usr/lib/*_caml.so /usr/lib/ocaml/stublibs debian/libapron.override0000644000000000000000000000023512256542535012546 0ustar libapron: package-name-doesnt-match-sonames libap-pkgrid0 libap-ppl0 libapron0 libboxD0 libboxMPFR0 libboxMPQ0 liboctD0 liboctMPQ0 libpolkaMPQ0 libpolkaRll0 debian/rules0000755000000000000000000000313512256544021010251 0ustar #!/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 echo "OCAML_BEST=opt" >> Makefile.config else echo "OCAML_BEST=byte" >> Makefile.config endif .PHONY: override_dh_auto_build override_dh_auto_build: $(MAKE) $(MAKE) -C apron/apron html -$(MAKE) -C apron/mlapronidl html .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 $(MAKE) -C mlgmpidl install cp apron/ppl/libap_ppl.so apron/ppl/libap_ppl_debug.so debian/tmp/usr/lib chmod -x debian/tmp/usr/lib/* for i in libap_pkgrid.so libap_ppl.so libapron.so libboxD.so libboxMPFR.so libboxMPQ.so liboctD.so liboctMPQ.so libpolkaMPQ.so libpolkaRll.so; do \ mv debian/tmp/usr/lib/$$i debian/tmp/usr/lib/$$i.0; \ ln -s $$i.0 debian/tmp/usr/lib/$$i; \ done cp debian/libapron.override debian/libapron/usr/share/lintian/overrides/libapron .PHONY: override_dh_compress override_dh_compress: dh_compress -X.c -X.ml .PHONY: override_dh_installchangelogs override_dh_installchangelogs: dh_installchangelogs apron/Changes debian/gbp.conf0000644000000000000000000000003612256542535010615 0ustar [DEFAULT] pristine-tar = True debian/libapron-dev.install0000644000000000000000000000026412256542535013153 0ustar usr/lib/libapron.so usr/lib/libboxD.so usr/lib/libboxMPFR.so usr/lib/libboxMPQ.so usr/lib/liboctD.so usr/lib/liboctMPQ.so usr/lib/libpolkaMPQ.so usr/lib/libpolkaRll.so usr/include debian/libapron-ocaml-dev.install0000644000000000000000000000022412256542535014240 0ustar 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 debian/libapron-ocaml-dev.dirs0000644000000000000000000000002412256542535013531 0ustar usr/lib/ocaml/apron debian/clean0000644000000000000000000000007712256542535010210 0ustar Makefile.config apron/Makefile.config mlgmpidl/Makefile.config debian/changelog0000644000000000000000000000440412256544347011056 0ustar apron (0.9.10-6) unstable; urgency=low [ Stéphane Glondu ] * Team upload * Acknowledge non-maintainer uploads * debian/control: - bump debhelper compat level to 9 - update Vcs-* - remove leading articles from short descriptions - remove Samuel and myself from Uploaders [ Matthias Klose ] * Fix build failure with ppl-1.0 (Closes: #707347) -- Stéphane Glondu Wed, 25 Dec 2013 13:00:39 +0100 apron (0.9.10-5.2) unstable; urgency=low * Follow-on NMU to fix the binary dependency on libppl0.10-dev. Really Closes: #620716. -- Steve Langasek Sun, 10 Apr 2011 09:38:37 +0000 apron (0.9.10-5.1) unstable; urgency=low * Non-maintainer upload. * Build-depend on the libppl-dev virtual package instead of libppl0.10-dev, since this latter package is no longer available in unstable and apron now fails to build. Closes: #620716. -- Steve Langasek Sun, 10 Apr 2011 01:22:13 +0000 apron (0.9.10-5) unstable; urgency=low * Add mpfr_random.diff and rounding_modes.diff (Closes: #589359) * debian/control: - add myself to Uploaders - bump Standards-Version to 3.9.0 * Install upstream changelog * Switch source package format to 3.0 (quilt) -- Stéphane Glondu Mon, 19 Jul 2010 13:22:45 +0200 apron (0.9.10-4) unstable; urgency=low [ Mehdi Dogguy ] * Remove non-needed Provides for libapron-dev * Version the build dependency on quilt: >= 0.46-7 [ Samuel Mimram ] * Added link patch in order to resolve symbols, closes: #558838. * Fix nonopt patch to build gmp.cmxa. * Added oct_static patch in order to install oct*.a. -- Samuel Mimram Sun, 17 Jan 2010 17:57:33 +0100 apron (0.9.10-3) unstable; urgency=low * Remove build dependency on ocaml-native-compilers, closes: #556636. -- Samuel Mimram Tue, 17 Nov 2009 17:53:40 +0100 apron (0.9.10-2) unstable; urgency=low * Enable PPL support. * Add nonopt patch in order to be able to build on non-native archs. -- Samuel Mimram Thu, 29 Oct 2009 21:58:00 +0100 apron (0.9.10-1) unstable; urgency=low * Initial release, closes: #552326. -- Samuel Mimram Wed, 21 Oct 2009 19:06:36 +0200 debian/patches/0000755000000000000000000000000012256542535010626 5ustar debian/patches/0004-Patch-in-order-to-resolve-symbols.patch0000644000000000000000000001145512256542535020575 0ustar From: Samuel Mimram Date: Wed, 25 Dec 2013 12:31:52 +0100 Subject: Patch in order to resolve symbols Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=558838 Last-Update: 2009-12-06 --- apron/apron/Makefile | 2 +- apron/box/Makefile | 2 +- apron/newpolka/Makefile | 2 +- apron/octagons/Makefile | 2 +- apron/ppl/Makefile | 4 ++-- apron/products/Makefile | 2 +- 6 files changed, 7 insertions(+), 7 deletions(-) diff --git a/apron/apron/Makefile b/apron/apron/Makefile index e272685..3ccf0d5 100644 --- a/apron/apron/Makefile +++ b/apron/apron/Makefile @@ -133,7 +133,7 @@ libapron_debug.a: $(C_FILES:%.c=%_debug.o) $(C_FILES_AUX:%.c=%MPQ_debug.o) $(C_F libapron.so: $(C_FILES:%.c=%.o) $(C_FILES_AUX:%.c=%MPQ.o) $(C_FILES_AUX:%.c=%D.o) $(C_FILES_AUX:%.c=%MPFR.o) ../itv/libitv.a for i in `$(AR) t ../itv/libitv.a`; do ln -s ../itv/$$i $$i; done - $(CC) $(CFLAGS) -shared -Wl,-soname,$@.0 -o $@ $(C_FILES:%.c=%.o) $(C_FILES_AUX:%.c=%MPQ.o) $(C_FILES_AUX:%.c=%D.o) $(C_FILES_AUX:%.c=%MPFR.o) `$(AR) t ../itv/libitv.a` + $(CC) $(CFLAGS) -lm -lmpfr -lgmp -shared -Wl,-soname,$@.0 -o $@ $(C_FILES:%.c=%.o) $(C_FILES_AUX:%.c=%MPQ.o) $(C_FILES_AUX:%.c=%D.o) $(C_FILES_AUX:%.c=%MPFR.o) `$(AR) t ../itv/libitv.a` for i in `$(AR) t ../itv/libitv.a`; do $(RM) $$i; done libapron_debug.so: $(C_FILES:%.c=%_debug.o) $(C_FILES_AUX:%.c=%MPQ_debug.o) $(C_FILES_AUX:%.c=%D_debug.o) $(C_FILES_AUX:%.c=%MPFR_debug.o) ../itv/libitv_debug.a diff --git a/apron/box/Makefile b/apron/box/Makefile index 2f51414..63c7bea 100644 --- a/apron/box/Makefile +++ b/apron/box/Makefile @@ -151,7 +151,7 @@ libbox%_debug.a: $(subst .c,%_debug.o,$(CCMODULES:%=%.c)) $(AR) rcs $@ $^ $(RANLIB) $@ libbox%.so: $(subst .c,%.o,$(CCMODULES:%=%.c)) - $(CC) $(CFLAGS) -shared -Wl,-soname,$@.0 -o $@ $^ + $(CC) $(CFLAGS) -L../apron -lm -lgmp -lmpfr -lapron -shared -Wl,-soname,$@.0 -o $@ $^ libbox%_debug.so: $(subst .c,%_debug.o,$(CCMODULES:%=%.c)) $(CC) $(CFLAGS_DEBUG) -shared -Wl,-soname,$@.0 -o $@ $^ diff --git a/apron/newpolka/Makefile b/apron/newpolka/Makefile index d7a2ab4..dc65817 100644 --- a/apron/newpolka/Makefile +++ b/apron/newpolka/Makefile @@ -176,7 +176,7 @@ libpolka%_debug.a: $(subst .c,%_debug.o,$(CCMODULES:%=%.c)) $(AR) rcs $@ $^ $(RANLIB) $@ libpolka%.so: $(subst .c,%.o,$(CCMODULES:%=%.c)) - $(CC) $(CFLAGS) -shared -Wl,-soname,$@.0 -o $@ $^ + $(CC) $(CFLAGS) -L../apron -lgmp -lapron -shared -Wl,-soname,$@.0 -o $@ $^ libpolka%_debug.so: $(subst .c,%_debug.o,$(CCMODULES:%=%.c)) $(CC) $(CFLAGS_DEBUG) -shared -Wl,-soname,$@.0 -o $@ $^ diff --git a/apron/octagons/Makefile b/apron/octagons/Makefile index 2341648..8251f0b 100644 --- a/apron/octagons/Makefile +++ b/apron/octagons/Makefile @@ -174,7 +174,7 @@ liboct%_debug.a: $(subst .c,%_debug.o,$(CCSOURCES)) $(RANLIB) $@ liboct%.so: $(subst .c,%.o,$(CCSOURCES)) - $(SHARED) -Wl,-soname,$@.0 -o $@ $^ + $(SHARED) -L../apron -lm -lgmp -lmpfr -lapron -Wl,-soname,$@.0 -o $@ $^ octtest%: liboct%_debug.a oct_test%.o $(CC) $(CFLAGS_DEBUG) $(ICFLAGS) -o $@ oct_test$*.o \ diff --git a/apron/ppl/Makefile b/apron/ppl/Makefile index 4551316..df1caa0 100644 --- a/apron/ppl/Makefile +++ b/apron/ppl/Makefile @@ -126,7 +126,7 @@ libap_ppl_debug.a: $(subst .cc,_debug.o,$(CXXSOURCES)) $(AR) rcs $@ $^ $(RANLIB) $@ libap_ppl.so: $(subst .cc,.o,$(CXXSOURCES)) - $(CXX) $(CXXFLAGS) -shared -Wl,-soname,$@.0 -o $@ $^ -lppl -lgmpxx -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib + $(CXX) $(CXXFLAGS) -L../apron -lgmp -lapron -shared -Wl,-soname,$@.0 -o $@ $^ -lppl -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib libap_ppl_debug.so: $(subst .cc,_debug.o,$(CXXSOURCES)) $(CXX) $(CXXFLAGS_DEBUG) -shared -Wl,-soname,$@.0 -o $@ $^ -lppl -lgmpxx -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib @@ -181,7 +181,7 @@ libap_ppl_caml_debug.a: ap_ppl_caml_debug.o $(AR) rcs $@ $^ $(RANLIB) $@ libap_ppl_caml.so: ap_ppl_caml.o libap_ppl.so - $(CXX) $(CXXFLAGS) -shared -o $@ $< -lap_ppl -lppl -lgmpxx -L. -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib + $(CXX) $(CXXFLAGS) -shared -o $@ $< -lap_ppl -L. -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib libap_ppl_caml_debug.so: ap_ppl_caml_debug.o libap_ppl_debug.so $(CXX) $(CXXFLAGS) -shared -o $@ $< -lap_ppl_debug -lppl -lgmpxx -L. -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib dllap_ppl_caml.so: libap_ppl_caml.so diff --git a/apron/products/Makefile b/apron/products/Makefile index bbec4a3..8f07548 100644 --- a/apron/products/Makefile +++ b/apron/products/Makefile @@ -109,7 +109,7 @@ libap_pkgrid_debug.a: ap_pkgrid_debug.o $(AR) rcs $@ $^ $(RANLIB) $@ libap_pkgrid.so: ap_pkgrid.o - $(CXX) $(CXXFLAGS) -shared -Wl,-soname,$@.0 -o $@ $^ + $(CXX) $(CXXFLAGS) -L../apron -L../ppl -L../newpolka -lgmp -lapron -lap_ppl -lpolkaMPQ -shared -Wl,-soname,$@.0 -o $@ $^ libap_pkgrid_debug.so: ap_pkgrid_debug.o $(CXX) $(CXXFLAGS_DEBUG) -shared -Wl,-soname,$@.0 -o $@ $^ -- debian/patches/0006-Remove-references-to-obsolete-mpfr_random.patch0000644000000000000000000001021012256542535022334 0ustar From: Stephane Glondu Date: Sat, 17 Jul 2010 11:22:38 +0200 Subject: Remove references to obsolete mpfr_random Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=589359 Signed-off-by: Stephane Glondu --- mlgmpidl/gmp_random.idl | 1 - mlgmpidl/gmp_random.ml | 3 --- mlgmpidl/gmp_random.mli | 3 --- mlgmpidl/gmp_random_caml.c | 13 ------------- mlgmpidl/tmp/gmp_random.idl | 1 - mlgmpidl/tmp/gmp_random.ml | 3 --- mlgmpidl/tmp/gmp_random.mli | 3 --- mlgmpidl/tmp/gmp_random_stubs.c | 13 ------------- 8 files changed, 40 deletions(-) diff --git a/mlgmpidl/gmp_random.idl b/mlgmpidl/gmp_random.idl index da3cb0c..90d5793 100644 --- a/mlgmpidl/gmp_random.idl +++ b/mlgmpidl/gmp_random.idl @@ -61,6 +61,5 @@ quote(MLMLI,"(** {{:http://www.mpfr.org/mpfr-current/mpfr.html#Miscellaneous-Fun quote(MLI,"module Mpfr : sig") quote(ML,"module Mpfr = struct") void mpfr_urandomb (mpfr_ptr ROP, gmp_randstate_ptr STATE); -void mpfr_random (mpfr_ptr ROP); quote(MLMLI,"end\n") #endif diff --git a/mlgmpidl/gmp_random.ml b/mlgmpidl/gmp_random.ml index 5d93cd7..8a8a94e 100644 --- a/mlgmpidl/gmp_random.ml +++ b/mlgmpidl/gmp_random.ml @@ -62,8 +62,5 @@ module Mpfr = struct external urandomb : Mpfr.t -> state -> unit = "camlidl_gmp_random_mpfr_urandomb" -external random : Mpfr.t -> unit - = "camlidl_gmp_random_mpfr_random" - end diff --git a/mlgmpidl/gmp_random.mli b/mlgmpidl/gmp_random.mli index b54c377..a119aea 100644 --- a/mlgmpidl/gmp_random.mli +++ b/mlgmpidl/gmp_random.mli @@ -62,8 +62,5 @@ module Mpfr : sig external urandomb : Mpfr.t -> state -> unit = "camlidl_gmp_random_mpfr_urandomb" -external random : Mpfr.t -> unit - = "camlidl_gmp_random_mpfr_random" - end diff --git a/mlgmpidl/gmp_random_caml.c b/mlgmpidl/gmp_random_caml.c index 5680e02..5a10e85 100644 --- a/mlgmpidl/gmp_random_caml.c +++ b/mlgmpidl/gmp_random_caml.c @@ -234,16 +234,3 @@ value camlidl_gmp_random_mpfr_urandomb( camlidl_free(_ctx); return Val_unit; } - -value camlidl_gmp_random_mpfr_random( - value _v_ROP) -{ - mpfr_ptr ROP; /*in*/ - struct camlidl_ctx_struct _ctxs = { CAMLIDL_TRANSIENT, NULL }; - camlidl_ctx _ctx = &_ctxs; - camlidl_ml2c_mpfr_mpfr_ptr(_v_ROP, &ROP, _ctx); - mpfr_random(ROP); - camlidl_free(_ctx); - return Val_unit; -} - diff --git a/mlgmpidl/tmp/gmp_random.idl b/mlgmpidl/tmp/gmp_random.idl index da3cb0c..90d5793 100644 --- a/mlgmpidl/tmp/gmp_random.idl +++ b/mlgmpidl/tmp/gmp_random.idl @@ -61,6 +61,5 @@ quote(MLMLI,"(** {{:http://www.mpfr.org/mpfr-current/mpfr.html#Miscellaneous-Fun quote(MLI,"module Mpfr : sig") quote(ML,"module Mpfr = struct") void mpfr_urandomb (mpfr_ptr ROP, gmp_randstate_ptr STATE); -void mpfr_random (mpfr_ptr ROP); quote(MLMLI,"end\n") #endif diff --git a/mlgmpidl/tmp/gmp_random.ml b/mlgmpidl/tmp/gmp_random.ml index 3947d52..e495233 100644 --- a/mlgmpidl/tmp/gmp_random.ml +++ b/mlgmpidl/tmp/gmp_random.ml @@ -59,8 +59,5 @@ module Mpfr = struct external mpfr_urandomb : Mpfr.mpfr_ptr -> gmp_randstate_ptr -> unit = "camlidl_gmp_random_mpfr_urandomb" -external mpfr_random : Mpfr.mpfr_ptr -> unit - = "camlidl_gmp_random_mpfr_random" - end diff --git a/mlgmpidl/tmp/gmp_random.mli b/mlgmpidl/tmp/gmp_random.mli index 974f0a5..811c330 100644 --- a/mlgmpidl/tmp/gmp_random.mli +++ b/mlgmpidl/tmp/gmp_random.mli @@ -59,8 +59,5 @@ module Mpfr : sig external mpfr_urandomb : Mpfr.mpfr_ptr -> gmp_randstate_ptr -> unit = "camlidl_gmp_random_mpfr_urandomb" -external mpfr_random : Mpfr.mpfr_ptr -> unit - = "camlidl_gmp_random_mpfr_random" - end diff --git a/mlgmpidl/tmp/gmp_random_stubs.c b/mlgmpidl/tmp/gmp_random_stubs.c index 8ea5041..5c8ce74 100644 --- a/mlgmpidl/tmp/gmp_random_stubs.c +++ b/mlgmpidl/tmp/gmp_random_stubs.c @@ -231,16 +231,3 @@ value camlidl_gmp_random_mpfr_urandomb( camlidl_free(_ctx); return Val_unit; } - -value camlidl_gmp_random_mpfr_random( - value _v_ROP) -{ - mpfr_ptr ROP; /*in*/ - struct camlidl_ctx_struct _ctxs = { CAMLIDL_TRANSIENT, NULL }; - camlidl_ctx _ctx = &_ctxs; - camlidl_ml2c_mpfr_mpfr_ptr(_v_ROP, &ROP, _ctx); - mpfr_random(ROP); - camlidl_free(_ctx); - return Val_unit; -} - -- debian/patches/0001-Remove-rpaths.patch0000644000000000000000000002637212256542535014773 0ustar From: Samuel Mimram Date: Wed, 25 Dec 2013 12:30:29 +0100 Subject: Remove rpaths Last-Update: 2009-10-25 --- apron/box/Makefile | 8 ++++---- apron/mlapronidl/Makefile | 8 ++++---- apron/newpolka/Makefile | 8 ++++---- apron/octagons/Makefile | 8 ++++---- apron/ppl/Makefile | 12 ++++++------ apron/products/Makefile | 8 ++++---- mlgmpidl/Makefile | 4 ++-- 7 files changed, 28 insertions(+), 28 deletions(-) diff --git a/apron/box/Makefile b/apron/box/Makefile index 81a6432..4df02ea 100644 --- a/apron/box/Makefile +++ b/apron/box/Makefile @@ -178,9 +178,9 @@ libbox%_caml_debug.a: box_caml_debug.o libbox%_debug.a $(RANLIB) $@ libbox%_caml.so: box_caml.o libbox%.so - $(CC) $(CFLAGS) -shared -o $@ box_caml.o -L. -lbox$* -Wl,-rpath,$(APRON_PREFIX)/lib + $(CC) $(CFLAGS) -shared -o $@ box_caml.o -L. -lbox$* libbox%_caml_debug.so: box_caml_debug.o libbox%_debug.so - $(CC) $(CFLAGS8DEBUG) -shared -o $@ box_caml_debug.o -L. -lbox$*_debug -Wl,-rpath,$(APRON_PREFIX)/lib + $(CC) $(CFLAGS8DEBUG) -shared -o $@ box_caml_debug.o -L. -lbox$*_debug dllbox%_caml.so: libbox%_caml.so ln -s -f $^ $@ @@ -204,10 +204,10 @@ box.a: boxMPQ.a ln -s -f $^ $@ box%.cma: box.cmo libbox%_caml.a libbox%.a - $(OCAMLMKLIB) -ocamlc "$(OCAMLC)" -verbose -o box$* -oc box$*_caml box.cmo -lbox$* -L$(APRON_PREFIX)/lib -Wl,-rpath,$(APRON_PREFIX)/lib + $(OCAMLMKLIB) -ocamlc "$(OCAMLC)" -verbose -o box$* -oc box$*_caml box.cmo -lbox$* -L$(APRON_PREFIX)/lib box%.cmxa box%.a: box.cmx libbox%_caml.a libbox%.a - $(OCAMLMKLIB) -ocamlopt "$(OCAMLOPT)" -verbose -o box$* -oc box$*_caml box.cmx -lbox$* -L$(APRON_PREFIX)/lib -Wl,-rpath,$(APRON_PREFIX)/lib + $(OCAMLMKLIB) -ocamlopt "$(OCAMLOPT)" -verbose -o box$* -oc box$*_caml box.cmx -lbox$* -L$(APRON_PREFIX)/lib #--------------------------------------- # IDL rules diff --git a/apron/mlapronidl/Makefile b/apron/mlapronidl/Makefile index 589f611..02e2aa5 100644 --- a/apron/mlapronidl/Makefile +++ b/apron/mlapronidl/Makefile @@ -105,10 +105,10 @@ install: $(MLLIB_TOINSTALL) $(MLLIB_TOINSTALLx) $(CCLIB_TOINSTALL) $(CCINC_TOINS #--------------------------------------- apron.cma: apron.cmo libapron_caml.a - $(OCAMLMKLIB) -ocamlc "$(OCAMLC)" -verbose -o apron -oc apron_caml apron.cmo -lapron -L$(APRON_PREFIX)/lib -Wl,-rpath,$(APRON_PREFIX)/lib + $(OCAMLMKLIB) -ocamlc "$(OCAMLC)" -verbose -o apron -oc apron_caml apron.cmo -lapron -L$(APRON_PREFIX)/lib apron.cmxa: apron.cmx libapron_caml.a - $(OCAMLMKLIB) -ocamlopt "$(OCAMLOPT)" -verbose -o apron -oc apron_caml apron.cmx -lapron -L$(APRON_PREFIX)/lib -Wl,-rpath,$(APRON_PREFIX)/lib + $(OCAMLMKLIB) -ocamlopt "$(OCAMLOPT)" -verbose -o apron -oc apron_caml apron.cmx -lapron -L$(APRON_PREFIX)/lib libapron_caml.a: $(CCMODULES:%=%.o) $(AR) rc $@ $^ @@ -118,10 +118,10 @@ libapron_caml_debug.a: $(CCMODULES:%=%_debug.o) $(RANLIB) $@ libapron_caml.so: $(CCMODULES:%=%.o) ../apron/libapron.so - $(CC) $(CFLAGS) -shared -o $@ $(CCMODULES:%=%.o) -L../apron -lapron -Wl,-rpath,$(APRON_PREFIX)/lib + $(CC) $(CFLAGS) -shared -o $@ $(CCMODULES:%=%.o) -L../apron -lapron libapron_caml_debug.so: $(CCMODULES:%=%_debug.o) ../apron/libapron_debug.so - $(CC) $(CFLAGS_DEBUG) -shared -o $@ $(CCMODULES:%=%_debug.o) -L../apron -lapron -Wl,-rpath,$(APRON_PREFIX)/lib + $(CC) $(CFLAGS_DEBUG) -shared -o $@ $(CCMODULES:%=%_debug.o) -L../apron -lapron dllapron_caml.so: libapron_caml.so ln -s $^ $@ diff --git a/apron/newpolka/Makefile b/apron/newpolka/Makefile index badff8b..88e44ee 100644 --- a/apron/newpolka/Makefile +++ b/apron/newpolka/Makefile @@ -209,9 +209,9 @@ libpolka%_caml_debug.a: polka_caml_debug.o libpolka%_debug.a $(RANLIB) $@ libpolka%_caml.so: polka_caml.o libpolka%.so - $(CC) $(CFLAGS) -shared -o $@ polka_caml.o -L. -lpolka$* -Wl,-rpath,$(APRON_PREFIX)/lib + $(CC) $(CFLAGS) -shared -o $@ polka_caml.o -L. -lpolka$* libpolka%_caml_debug.so: polka_caml_debug.o libpolka%_debug.so - $(CC) $(CFLAGS_DEBUG) -shared -o $@ polka_caml_debug.o -L. -lpolka$*_debug -Wl,-rpath,$(APRON_PREFIX)/lib + $(CC) $(CFLAGS_DEBUG) -shared -o $@ polka_caml_debug.o -L. -lpolka$*_debug dllpolka%_caml.so: libpolka%_caml.so ln -s -f $^ $@ @@ -230,10 +230,10 @@ polka.a: polkaMPQ.a ln -s -f $^ $@ polka%.cma: polka.cmo libpolka%_caml.a libpolka%.a - $(OCAMLMKLIB) -ocamlc "$(OCAMLC)" -verbose -o polka$* -oc polka$*_caml polka.cmo -lpolka$* -L$(APRON_PREFIX)/lib -Wl,-rpath,$(APRON_PREFIX)/lib + $(OCAMLMKLIB) -ocamlc "$(OCAMLC)" -verbose -o polka$* -oc polka$*_caml polka.cmo -lpolka$* -L$(APRON_PREFIX)/lib polka%.cmxa polka%.a: polka.cmx libpolka%_caml.a libpolka%.a - $(OCAMLMKLIB) -ocamlopt "$(OCAMLOPT)" -verbose -o polka$* -oc polka$*_caml polka.cmx -lpolka$* -L$(APRON_PREFIX)/lib -Wl,-rpath,$(APRON_PREFIX)/lib + $(OCAMLMKLIB) -ocamlopt "$(OCAMLOPT)" -verbose -o polka$* -oc polka$*_caml polka.cmx -lpolka$* -L$(APRON_PREFIX)/lib #--------------------------------------- # IDL rules diff --git a/apron/octagons/Makefile b/apron/octagons/Makefile index 7aa3f3e..fab88b0 100644 --- a/apron/octagons/Makefile +++ b/apron/octagons/Makefile @@ -277,10 +277,10 @@ oct.a: octMPQ.a ln -s -f $^ $@ oct%.cma: oct.cmi oct.cmo liboct%_caml.a liboct%.a - $(OCAMLMKLIB) -ocamlc "$(OCAMLC)" -verbose -o oct$* -oc oct$*_caml oct.cmo -loct$* -L$(APRON_PREFIX)/lib -Wl,-rpath,$(APRON_PREFIX)/lib + $(OCAMLMKLIB) -ocamlc "$(OCAMLC)" -verbose -o oct$* -oc oct$*_caml oct.cmo -loct$* -L$(APRON_PREFIX)/lib oct%.cmxa oct%.a: oct.cmi oct.cmx liboct%_caml.a liboct%.a - $(OCAMLMKLIB) -ocamlopt "$(OCAMLOPT)" -verbose -o oct$* -oc oct$*_caml oct.cmx -loct$* -L$(APRON_PREFIX)/lib -Wl,-rpath,$(APRON_PREFIX)/lib + $(OCAMLMKLIB) -ocamlopt "$(OCAMLOPT)" -verbose -o oct$* -oc oct$*_caml oct.cmx -loct$* -L$(APRON_PREFIX)/lib liboct%_caml.a: oct_caml.o liboct%.a $(AR) rcs $@ $< @@ -289,9 +289,9 @@ liboct%_caml_debug.a: oct_caml_debug.o liboct%_debug.a $(AR) rcs $@ $< $(RANLIB) $@ liboct%_caml.so: oct_caml.o liboct%.so - $(SHARED) -o $@ oct_caml.o -L. -loct$* -Wl,-rpath,$(APRON_PREFIX)/lib + $(SHARED) -o $@ oct_caml.o -L. -loct$* liboct%_caml_debug.so: oct_caml_debug.o liboct%_debug.so - $(SHARED) -o $@ oct_caml_debug.o -L. -loct$*_debug -Wl,-rpath,$(APRON_PREFIX)/lib + $(SHARED) -o $@ oct_caml_debug.o -L. -loct$*_debug dlloct%_caml.so: liboct%_caml.so ln -s -f $^ $@ dlloct%_caml_debug.so: liboct%_caml_debug.so diff --git a/apron/ppl/Makefile b/apron/ppl/Makefile index b20f769..98cb5a8 100644 --- a/apron/ppl/Makefile +++ b/apron/ppl/Makefile @@ -126,9 +126,9 @@ libap_ppl_debug.a: $(subst .cc,_debug.o,$(CXXSOURCES)) $(AR) rcs $@ $^ $(RANLIB) $@ libap_ppl.so: $(subst .cc,.o,$(CXXSOURCES)) - $(CXX) $(CXXFLAGS) -shared -o $@ $^ -lppl -lgmpxx -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib -Wl,-rpath,$(PPL_PREFIX)/lib:$(APRON_PREFIX)/lib:$(GMP_PREFIX)/lib + $(CXX) $(CXXFLAGS) -shared -o $@ $^ -lppl -lgmpxx -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib libap_ppl_debug.so: $(subst .cc,_debug.o,$(CXXSOURCES)) - $(CXX) $(CXXFLAGS_DEBUG) -shared -o $@ $^ -lppl -lgmpxx -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib -Wl,-rpath,$(PPL_PREFIX)/lib:$(APRON_PREFIX)/lib:$(GMP_PREFIX)/lib + $(CXX) $(CXXFLAGS_DEBUG) -shared -o $@ $^ -lppl -lgmpxx -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib ap_ppl_test: libap_ppl_debug.a ppl_test_debug.o $(CXX) $(CXXFLAGS) -o $@ ppl_test_debug.o \ @@ -177,19 +177,19 @@ libap_ppl_caml_debug.a: ap_ppl_caml_debug.o $(AR) rcs $@ $^ $(RANLIB) $@ libap_ppl_caml.so: ap_ppl_caml.o libap_ppl.so - $(CXX) $(CXXFLAGS) -shared -o $@ $< -lap_ppl -lppl -lgmpxx -L. -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib -Wl,-rpath,$(PPL_PREFIX)/lib:$(APRON_PREFIX)/lib + $(CXX) $(CXXFLAGS) -shared -o $@ $< -lap_ppl -lppl -lgmpxx -L. -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib libap_ppl_caml_debug.so: ap_ppl_caml_debug.o libap_ppl_debug.so - $(CXX) $(CXXFLAGS) -shared -o $@ $< -lap_ppl_debug -lppl -lgmpxx -L. -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib -Wl,-rpath,$(PPL_PREFIX)/lib:$(APRON_PREFIX)/lib + $(CXX) $(CXXFLAGS) -shared -o $@ $< -lap_ppl_debug -lppl -lgmpxx -L. -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib dllap_ppl_caml.so: libap_ppl_caml.so ln -s -f $^ $@ dllap_ppl_caml_debug.so: libap_ppl_caml_debug.so ln -s -f $^ $@ ppl.cma: ppl.cmo libap_ppl_caml.a - $(OCAMLMKLIB) -ocamlc "$(OCAMLC) -cc $(CXX)" -verbose -o ppl -oc ap_ppl_caml ppl.cmo -lap_ppl -lppl -lgmpxx -L$(PPL_PREFIX)/lib -L$(APRON_PREFIX)/lib -L$(GMP_PREFIX)/lib -Wl,-rpath,$(PPL_PREFIX)/lib:$(APRON_PREFIX)/lib:$(GMP_PREFIX)/lib + $(OCAMLMKLIB) -ocamlc "$(OCAMLC) -cc $(CXX)" -verbose -o ppl -oc ap_ppl_caml ppl.cmo -lap_ppl -lppl -lgmpxx -L$(PPL_PREFIX)/lib -L$(APRON_PREFIX)/lib -L$(GMP_PREFIX)/lib ppl.cmxa: ppl.cmx libap_ppl_caml.a - $(OCAMLMKLIB) -ocamlopt "$(OCAMLOPT) -cc $(CXX)" -verbose -o ppl -oc ap_ppl_caml ppl.cmx -lap_ppl -lppl -lgmpxx -L$(PPL_PREFIX)/lib -L$(APRON_PREFIX)/lib -L$(GMP_PREFIX)/lib -Wl,-rpath,$(PPL_PREFIX)/lib:$(APRON_PREFIX)/lib:$(GMP_PREFIX)/lib + $(OCAMLMKLIB) -ocamlopt "$(OCAMLOPT) -cc $(CXX)" -verbose -o ppl -oc ap_ppl_caml ppl.cmx -lap_ppl -lppl -lgmpxx -L$(PPL_PREFIX)/lib -L$(APRON_PREFIX)/lib -L$(GMP_PREFIX)/lib manager.idl: ../mlapronidl/manager.idl ln -s $< $@ diff --git a/apron/products/Makefile b/apron/products/Makefile index e0e03d1..3a0da67 100644 --- a/apron/products/Makefile +++ b/apron/products/Makefile @@ -121,9 +121,9 @@ libpolkaGrid_caml_debug.a: polkaGrid_caml_debug.o $(AR) rcs $@ $^ $(RANLIB) $@ libpolkaGrid_caml.so: polkaGrid_caml.o libap_pkgrid.so - $(CXX) $(CXXFLAGS) -shared -o $@ $< -lap_pkgrid -L. -Wl-rpath,$(APRON_PREFIX)/lib + $(CXX) $(CXXFLAGS) -shared -o $@ $< -lap_pkgrid -L. libpolkaGrid_caml_debug.so: polkaGrid_caml_debug.o libap_pkgrid_debug.so - $(CXX) $(CXXFLAGS) -shared -o $@ $< -lap_pkgrid_debug -L. -Wl-rpath,$(APRON_PREFIX)/lib + $(CXX) $(CXXFLAGS) -shared -o $@ $< -lap_pkgrid_debug -L. dllpolkaGrid_caml.so: libpolkaGrid_caml.so ln -s -f $^ $@ dllpolkaGrid_caml_debug.so: libpolkaGrid_caml_debug.so @@ -134,10 +134,10 @@ dllpolkaGrid_caml_debug.so: libpolkaGrid_caml_debug.so #--------------------------------------- polkaGrid.cma: polkaGrid.cmo libpolkaGrid_caml.a libap_pkgrid.a - $(OCAMLMKLIB) -ocamlc "$(OCAMLC) -cc $(CXX)" -verbose -o polkaGrid -oc ap_polkaGrid_caml polkaGrid.cmo -lap_polkaGrid -L$(APRON_PREFIX)/lib -Wl,-rpath,$(APRON_PREFIX)/lib + $(OCAMLMKLIB) -ocamlc "$(OCAMLC) -cc $(CXX)" -verbose -o polkaGrid -oc ap_polkaGrid_caml polkaGrid.cmo -lap_polkaGrid -L$(APRON_PREFIX)/lib polkaGrid.cmxa: polkaGrid.cmx libpolkaGrid_caml.a libap_pkgrid.a - $(OCAMLMKLIB) -ocamlopt "$(OCAMLOPT) -cc $(CXX)" -verbose -o polkaGrid -oc ap_polkaGrid_caml polkaGrid.cmx -lap_polkaGrid -L$(APRON_PREFIX)/lib -Wl,-rpath,$(APRON_PREFIX)/lib + $(OCAMLMKLIB) -ocamlopt "$(OCAMLOPT) -cc $(CXX)" -verbose -o polkaGrid -oc ap_polkaGrid_caml polkaGrid.cmx -lap_polkaGrid -L$(APRON_PREFIX)/lib #--------------------------------------- # IDL rules diff --git a/mlgmpidl/Makefile b/mlgmpidl/Makefile index 14b2cfd..60f78ed 100644 --- a/mlgmpidl/Makefile +++ b/mlgmpidl/Makefile @@ -164,9 +164,9 @@ libgmp_caml_debug.a: $(CCMODULES:%=%_debug.o) $(RANLIB) $@ libgmp_caml.so: $(CCMODULES:%=%.o) - $(CC) $(CFLAGS) -shared -o $@ $^ $(LDFLAGS) -Wl,-rpath,$(RPATH) + $(CC) $(CFLAGS) -shared -o $@ $^ $(LDFLAGS) libgmp_caml_debug.so: $(CCMODULES:%=%.o) - $(CC) $(CFLAGS_DEBUG) -shared -o $@ $^ $(LDFLAGS) -Wl,-rpath,$(RPATH) + $(CC) $(CFLAGS_DEBUG) -shared -o $@ $^ $(LDFLAGS) dllgmp_caml.so: libgmp_caml.so ln -s $^ $@ -- debian/patches/0005-Install-oct-.a.patch0000644000000000000000000000130012256542535014710 0ustar From: Samuel Mimram Date: Wed, 25 Dec 2013 12:32:10 +0100 Subject: Install oct*.a Last-Update: 2010-01-17 --- apron/octagons/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/apron/octagons/Makefile b/apron/octagons/Makefile index 8251f0b..fd9b6d8 100644 --- a/apron/octagons/Makefile +++ b/apron/octagons/Makefile @@ -138,7 +138,7 @@ install: for i in octtest?? octtop?? octrun??; do \ if test -f $$i; then $(INSTALL) $$i $(BINDIR); fi; \ done - for i in oct.mli oct.cmi oct.cmx oct*.cma oct*.cmxa oct.a; do \ + for i in oct.mli oct.cmi oct.cmx oct*.cma oct*.cmxa oct*.a; do \ if test -f $$i; then $(INSTALL) $$i $(LIBDIR); fi; \ done -- debian/patches/0002-Add-sonames.patch0000644000000000000000000001157612256542535014373 0ustar From: Samuel Mimram Date: Wed, 25 Dec 2013 12:30:44 +0100 Subject: Add sonames Last-Update: 2009-10-25 --- apron/apron/Makefile | 4 ++-- apron/box/Makefile | 4 ++-- apron/newpolka/Makefile | 4 ++-- apron/octagons/Makefile | 2 +- apron/ppl/Makefile | 4 ++-- apron/products/Makefile | 4 ++-- 6 files changed, 11 insertions(+), 11 deletions(-) diff --git a/apron/apron/Makefile b/apron/apron/Makefile index 47dc608..e272685 100644 --- a/apron/apron/Makefile +++ b/apron/apron/Makefile @@ -133,12 +133,12 @@ libapron_debug.a: $(C_FILES:%.c=%_debug.o) $(C_FILES_AUX:%.c=%MPQ_debug.o) $(C_F libapron.so: $(C_FILES:%.c=%.o) $(C_FILES_AUX:%.c=%MPQ.o) $(C_FILES_AUX:%.c=%D.o) $(C_FILES_AUX:%.c=%MPFR.o) ../itv/libitv.a for i in `$(AR) t ../itv/libitv.a`; do ln -s ../itv/$$i $$i; done - $(CC) $(CFLAGS) -shared -o $@ $(C_FILES:%.c=%.o) $(C_FILES_AUX:%.c=%MPQ.o) $(C_FILES_AUX:%.c=%D.o) $(C_FILES_AUX:%.c=%MPFR.o) `$(AR) t ../itv/libitv.a` + $(CC) $(CFLAGS) -shared -Wl,-soname,$@.0 -o $@ $(C_FILES:%.c=%.o) $(C_FILES_AUX:%.c=%MPQ.o) $(C_FILES_AUX:%.c=%D.o) $(C_FILES_AUX:%.c=%MPFR.o) `$(AR) t ../itv/libitv.a` for i in `$(AR) t ../itv/libitv.a`; do $(RM) $$i; done libapron_debug.so: $(C_FILES:%.c=%_debug.o) $(C_FILES_AUX:%.c=%MPQ_debug.o) $(C_FILES_AUX:%.c=%D_debug.o) $(C_FILES_AUX:%.c=%MPFR_debug.o) ../itv/libitv_debug.a for i in `$(AR) t ../itv/libitv_debug.a`; do ln -s ../itv/$$i $$i; done - $(CC) $(CFLAGS_DEBUG) -shared -o $@ $(C_FILES:%.c=%.o) $(C_FILES_AUX:%.c=%MPQ.o) $(C_FILES_AUX:%.c=%D.o) $(C_FILES_AUX:%.c=%MPFR.o) `$(AR) t ../itv/libitv_debug.a` + $(CC) $(CFLAGS_DEBUG) -shared -Wl,-soname,$@.0 -o $@ $(C_FILES:%.c=%.o) $(C_FILES_AUX:%.c=%MPQ.o) $(C_FILES_AUX:%.c=%D.o) $(C_FILES_AUX:%.c=%MPFR.o) `$(AR) t ../itv/libitv_debug.a` for i in `$(AR) t ../itv/libitv_debug.a`; do $(RM) $$i; done .PHONY : dep diff --git a/apron/box/Makefile b/apron/box/Makefile index 4df02ea..0b8510e 100644 --- a/apron/box/Makefile +++ b/apron/box/Makefile @@ -145,9 +145,9 @@ libbox%_debug.a: $(subst .c,%_debug.o,$(CCMODULES:%=%.c)) $(AR) rcs $@ $^ $(RANLIB) $@ libbox%.so: $(subst .c,%.o,$(CCMODULES:%=%.c)) - $(CC) $(CFLAGS) -shared -o $@ $^ + $(CC) $(CFLAGS) -shared -Wl,-soname,$@.0 -o $@ $^ libbox%_debug.so: $(subst .c,%_debug.o,$(CCMODULES:%=%.c)) - $(CC) $(CFLAGS_DEBUG) -shared -o $@ $^ + $(CC) $(CFLAGS_DEBUG) -shared -Wl,-soname,$@.0 -o $@ $^ %MPQ.o: %.c $(CC) $(CFLAGS) $(ICFLAGS) -DNUM_MPQ -c -o $@ $< diff --git a/apron/newpolka/Makefile b/apron/newpolka/Makefile index 88e44ee..0801afc 100644 --- a/apron/newpolka/Makefile +++ b/apron/newpolka/Makefile @@ -169,9 +169,9 @@ libpolka%_debug.a: $(subst .c,%_debug.o,$(CCMODULES:%=%.c)) $(AR) rcs $@ $^ $(RANLIB) $@ libpolka%.so: $(subst .c,%.o,$(CCMODULES:%=%.c)) - $(CC) $(CFLAGS) -shared -o $@ $^ + $(CC) $(CFLAGS) -shared -Wl,-soname,$@.0 -o $@ $^ libpolka%_debug.so: $(subst .c,%_debug.o,$(CCMODULES:%=%.c)) - $(CC) $(CFLAGS_DEBUG) -shared -o $@ $^ + $(CC) $(CFLAGS_DEBUG) -shared -Wl,-soname,$@.0 -o $@ $^ %Rl.o: %.c $(CCINC) $(CC) $(CFLAGS) $(ICFLAGS) -DNUM_LONGRAT -c -o $@ $< diff --git a/apron/octagons/Makefile b/apron/octagons/Makefile index fab88b0..dd6efb9 100644 --- a/apron/octagons/Makefile +++ b/apron/octagons/Makefile @@ -174,7 +174,7 @@ liboct%_debug.a: $(subst .c,%_debug.o,$(CCSOURCES)) $(RANLIB) $@ liboct%.so: $(subst .c,%.o,$(CCSOURCES)) - $(SHARED) -o $@ $^ + $(SHARED) -Wl,-soname,$@.0 -o $@ $^ octtest%: liboct%_debug.a oct_test%.o $(CC) $(CFLAGS_DEBUG) $(ICFLAGS) -o $@ oct_test$*.o \ diff --git a/apron/ppl/Makefile b/apron/ppl/Makefile index 98cb5a8..d5af29e 100644 --- a/apron/ppl/Makefile +++ b/apron/ppl/Makefile @@ -126,9 +126,9 @@ libap_ppl_debug.a: $(subst .cc,_debug.o,$(CXXSOURCES)) $(AR) rcs $@ $^ $(RANLIB) $@ libap_ppl.so: $(subst .cc,.o,$(CXXSOURCES)) - $(CXX) $(CXXFLAGS) -shared -o $@ $^ -lppl -lgmpxx -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib + $(CXX) $(CXXFLAGS) -shared -Wl,-soname,$@.0 -o $@ $^ -lppl -lgmpxx -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib libap_ppl_debug.so: $(subst .cc,_debug.o,$(CXXSOURCES)) - $(CXX) $(CXXFLAGS_DEBUG) -shared -o $@ $^ -lppl -lgmpxx -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib + $(CXX) $(CXXFLAGS_DEBUG) -shared -Wl,-soname,$@.0 -o $@ $^ -lppl -lgmpxx -L$(PPL_PREFIX)/lib -L$(GMP_PREFIX)/lib ap_ppl_test: libap_ppl_debug.a ppl_test_debug.o $(CXX) $(CXXFLAGS) -o $@ ppl_test_debug.o \ diff --git a/apron/products/Makefile b/apron/products/Makefile index 3a0da67..0b3bf3b 100644 --- a/apron/products/Makefile +++ b/apron/products/Makefile @@ -106,9 +106,9 @@ libap_pkgrid_debug.a: ap_pkgrid_debug.o $(AR) rcs $@ $^ $(RANLIB) $@ libap_pkgrid.so: ap_pkgrid.o - $(CXX) $(CXXFLAGS) -shared -o $@ $^ + $(CXX) $(CXXFLAGS) -shared -Wl,-soname,$@.0 -o $@ $^ libap_pkgrid_debug.so: ap_pkgrid_debug.o - $(CXX) $(CXXFLAGS_DEBUG) -shared -o $@ $^ + $(CXX) $(CXXFLAGS_DEBUG) -shared -Wl,-soname,$@.0 -o $@ $^ #--------------------------------------- # C rules -- debian/patches/0003-Patch-in-order-to-be-able-to-build-on-non-native-arc.patch0000644000000000000000000001642612256542535023667 0ustar From: Samuel Mimram Date: Wed, 25 Dec 2013 12:31:14 +0100 Subject: Patch in order to be able to build on non-native archs Last-Update: 2010-01-17 --- apron/box/Makefile | 16 +++++++++++----- apron/mlapronidl/Makefile | 12 ++++++++++-- apron/newpolka/Makefile | 13 ++++++++++--- apron/octagons/Makefile | 27 +++++++++++++++++++-------- apron/ppl/Makefile | 6 +++++- apron/products/Makefile | 5 ++++- mlgmpidl/Makefile | 6 +++++- 7 files changed, 64 insertions(+), 21 deletions(-) diff --git a/apron/box/Makefile b/apron/box/Makefile index 0b8510e..2f51414 100644 --- a/apron/box/Makefile +++ b/apron/box/Makefile @@ -71,11 +71,17 @@ allD: libboxD.so libboxD_debug.so allMPFR: libboxMPFR.so libboxMPFR_debug.so endif -ml: box.mli box.ml box.cmi box.cmx box.a mlMPQ mlD mlMPFR box.cma box.cmxa - -mlMPQ: boxMPQ.cma boxMPQ.cmxa libboxMPQ_caml.a libboxMPQ_caml_debug.a -mlD: boxD.cma boxD.cmxa libboxD_caml.a libboxD_caml_debug.a -mlMPFR: boxMPFR.cma boxMPFR.cmxa libboxMPFR_caml.a libboxMPFR_caml_debug.a +ml: box.mli box.ml box.cmi mlMPQ mlD mlMPFR box.cma + +mlMPQ: boxMPQ.cma libboxMPQ_caml.a libboxMPQ_caml_debug.a +mlD: boxD.cma libboxD_caml.a libboxD_caml_debug.a +mlMPFR: boxMPFR.cma libboxMPFR_caml.a libboxMPFR_caml_debug.a +ifeq ($(OCAML_BEST),opt) +ml: box.cmx box.a box.cmxa +mlMPQ: boxMPQ.cmxa +mlD: boxD.cmxa +mlMPFR: boxMPFR.cmxa +endif ifneq ($(HAS_SHARED),) mlMPQ: libboxMPQ_caml.so libboxMPQ_caml_debug.so dllboxMPQ_caml.so dllboxMPQ_caml_debug.so mlD: libboxD_caml.so libboxD_caml_debug.so dllboxD_caml.so dllboxD_caml_debug.so diff --git a/apron/mlapronidl/Makefile b/apron/mlapronidl/Makefile index 02e2aa5..e9e6354 100644 --- a/apron/mlapronidl/Makefile +++ b/apron/mlapronidl/Makefile @@ -58,7 +58,11 @@ CCINC_TOINSTALL = apron_caml.h # Rules #--------------------------------------- -all: apron.cmi apron.cmx apron.cma apron.cmxa apron.a libapron_caml.a libapron_caml_debug.a +all: apron.cmi apron.cma libapron_caml.a libapron_caml_debug.a + +ifeq ($(OCAML_BEST),opt) +all: apron.cmx apron.cmxa apron.a +endif ifneq ($(HAS_SHARED),) all: libapron_caml.so libapron_caml_debug.so dllapron_caml.so dllapron_caml_debug.so @@ -94,12 +98,16 @@ distclean: /bin/rm -f $(CCLIB_TOINSTALL:%=$(APRON_PREFIX)/lib/%) /bin/rm -f $(CCINC_TOINSTALL:%=$(APRON_PREFIX)/include/%) -install: $(MLLIB_TOINSTALL) $(MLLIB_TOINSTALLx) $(CCLIB_TOINSTALL) $(CCINC_TOINSTALL) +install: $(MLLIB_TOINSTALL) $(CCLIB_TOINSTALL) $(CCINC_TOINSTALL) mkdir -p $(APRON_PREFIX)/lib mkdir -p $(APRON_PREFIX)/include for i in $(MLLIB_TOINSTALL) $(MLLIB_TOINSTALLx) $(CCLIB_TOINSTALL); do if test -f $$i; then cp -f -d $$i $(APRON_PREFIX)/lib; fi; done $(INSTALL) $(CCINC_TOINSTALL) $(APRON_PREFIX)/include +ifeq ($(OCAML_BEST),opt) +install: $(MLLIB_TOINSTALLx) +endif + #--------------------------------------- # Library rules #--------------------------------------- diff --git a/apron/newpolka/Makefile b/apron/newpolka/Makefile index 0801afc..d7a2ab4 100644 --- a/apron/newpolka/Makefile +++ b/apron/newpolka/Makefile @@ -83,10 +83,17 @@ allMPQ: libpolkaMPQ.so libpolkaMPQ_debug.so allRll: libpolkaRll.so libpolkaRll_debug.so endif -ml: polka.mli polka.ml polka.cmi polka.cmx polka.a mlMPQ mlRll polka.cma polka.cmxa +ml: polka.mli polka.ml polka.cmi mlMPQ mlRll polka.cma +ifeq ($(OCAML_BEST),opt) +ml: polka.cmx polka.cmxa polka.a +endif -mlMPQ: polkaMPQ.cma polkaMPQ.cmxa libpolkaMPQ_caml.a libpolkaMPQ_caml_debug.a -mlRll: polkaRll.cma polkaRll.cmxa libpolkaRll_caml.a libpolkaRll_caml_debug.a +mlMPQ: polkaMPQ.cma libpolkaMPQ_caml.a libpolkaMPQ_caml_debug.a +mlRll: polkaRll.cma libpolkaRll_caml.a libpolkaRll_caml_debug.a +ifeq ($(OCAML_BEST),opt) +mlMPQ: polkaMPQ.cmxa +mlRll: polkaRll.cmxa +endif ifneq ($(HAS_SHARED),) mlMPQ: libpolkaMPQ_caml.so libpolkaMPQ_caml_debug.so dllpolkaMPQ_caml.so dllpolkaMPQ_caml_debug.so mlRll: libpolkaRll_caml.so libpolkaRll_caml_debug.so dllpolkaRll_caml.so dllpolkaRll_caml_debug.so diff --git a/apron/octagons/Makefile b/apron/octagons/Makefile index dd6efb9..2341648 100644 --- a/apron/octagons/Makefile +++ b/apron/octagons/Makefile @@ -243,15 +243,26 @@ octtest%: liboct%_debug.a oct_test%.o .INTERMEDIATE: mlIl -ml: oct.mli oct.cmi oct.cmx oct.cma oct.cmxa oct.a -mlIl: ml octIl.cma octIl.cmxa liboctIl_caml.a liboctIl_caml_debug.a -mlIll: ml octIll.cma octIll.cmxa liboctIll_caml.a liboctIll_caml_debug.a -mlMPZ: ml octMPZ.cma octMPZ.cmxa liboctMPZ_caml.a liboctMPZ_caml_debug.a -mlRll: ml octRll.cma octRll.cmxa liboctRll_caml.a liboctRll_caml_debug.a -mlMPQ: ml octMPQ.cma octMPQ.cmxa liboctMPQ_caml.a liboctMPQ_caml_debug.a -mlD: ml octD.cma octD.cmxa liboctD_caml.a liboctD_caml_debug.a -mlDl: ml octDl.cma octDl.cmxa liboctDl_caml.a liboctDl_caml_debug.a +ml: oct.mli oct.cmi oct.cma +mlIl: ml octIl.cma liboctIl_caml.a liboctIl_caml_debug.a +mlIll: ml octIll.cma liboctIll_caml.a liboctIll_caml_debug.a +mlMPZ: ml octMPZ.cma liboctMPZ_caml.a liboctMPZ_caml_debug.a +mlRll: ml octRll.cma liboctRll_caml.a liboctRll_caml_debug.a +mlMPQ: ml octMPQ.cma liboctMPQ_caml.a liboctMPQ_caml_debug.a +mlD: ml octD.cma liboctD_caml.a liboctD_caml_debug.a +mlDl: ml octDl.cma liboctDl_caml.a liboctDl_caml_debug.a mlMPFR: ml octMPFR.cma octMPFR.cmxa liboctMPFR_caml.a liboctMPFR_caml_debug.a +ifeq ($(OCAML_BEST),opt) +ml: oct.cmx oct.cmxa oct.a +mlIl: octIl.cmxa +mlIll: octIll.cmxa +mlMPZ: octMPZ.cmxa +mlRll: octRll.cmxa +mlMPQ: octMPQ.cmxa +mlD: octD.cmxa +mlDl: octDl.cmxa +mlMPFR: octMPFR.cmxa +endif ifneq ($(HAS_SHARED),) mlIl: liboctIl_caml.so liboctIl_caml_debug.so dlloctIl_caml.so dlloctIl_caml_debug.so mlIll:liboctIll_caml.so liboctIll_caml_debug.so dlloctIll_caml.so dlloctIll_caml_debug.so diff --git a/apron/ppl/Makefile b/apron/ppl/Makefile index d5af29e..4551316 100644 --- a/apron/ppl/Makefile +++ b/apron/ppl/Makefile @@ -154,7 +154,11 @@ ap_ppl_test: libap_ppl_debug.a ppl_test_debug.o # Caml part #----------------------------------- -ml: ppl.cma ppl.cmxa libap_ppl_caml.a libap_ppl_caml_debug.a +ml: ppl.cma libap_ppl_caml.a libap_ppl_caml_debug.a + +ifeq ($(OCAML_BEST),opt) +ml: ppl.cmxa +endif ifneq ($(HAS_SHARED),) ml: libap_ppl_caml.so libap_ppl_caml_debug.so dllap_ppl_caml.so dllap_ppl_caml_debug.so diff --git a/apron/products/Makefile b/apron/products/Makefile index 0b3bf3b..bbec4a3 100644 --- a/apron/products/Makefile +++ b/apron/products/Makefile @@ -48,7 +48,10 @@ ifneq ($(HAS_SHARED),) all: libap_pkgrid.so libap_pkgrid_debug.so endif -ml: polkaGrid.mli polkaGrid.ml polkaGrid.cmi polkaGrid.cmx polkaGrid.cma polkaGrid.cmxa libpolkaGrid_caml.a libpolkaGrid_caml_debug.a +ml: polkaGrid.mli polkaGrid.ml polkaGrid.cmi polkaGrid.cma libpolkaGrid_caml.a libpolkaGrid_caml_debug.a +ifeq ($(OCAML_BEST),opt) +ml: polkaGrid.cmx polkaGrid.cmxa +endif ifneq ($(HAS_SHARED),) ml: libpolkaGrid_caml.so libpolkaGrid_caml_debug.so dllpolkaGrid_caml.so dllpolkaGrid_caml_debug.so endif diff --git a/mlgmpidl/Makefile b/mlgmpidl/Makefile index 60f78ed..0edca18 100644 --- a/mlgmpidl/Makefile +++ b/mlgmpidl/Makefile @@ -83,7 +83,11 @@ CCINC_TOINSTALL = gmp_caml.h # Rules #--------------------------------------- -all: $(MLSRC) $(MLINT) $(MLOBJ) $(MLOBJx) gmp.cma gmp.cmxa libgmp_caml.a +all: $(MLSRC) $(MLINT) $(MLOBJ) gmp.cma libgmp_caml.a + +ifeq ($(OCAML_BEST),opt) +all: $(MLOBJx) gmp.cmxa +endif ifneq ($(HAS_SHARED),) all: libgmp_caml.so -- debian/patches/0008-Fix-build-failure-with-ppl-1.0.patch0000644000000000000000000000152712256542535017547 0ustar From: Matthias Klose Date: Wed, 25 Dec 2013 12:44:12 +0100 Subject: Fix build failure with ppl-1.0 Origin: https://launchpadlibrarian.net/160556930/apron_0.9.10-5.2ubuntu5_0.9.10-5.2ubuntu6.diff.gz Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=707347 Signed-off-by: Stephane Glondu --- apron/ppl/ppl_user.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/apron/ppl/ppl_user.cc b/apron/ppl/ppl_user.cc index 09290bf..d542154 100644 --- a/apron/ppl/ppl_user.cc +++ b/apron/ppl/ppl_user.cc @@ -320,7 +320,7 @@ bool ap_ppl_of_box(Congruence_System& r, ap_interval_t** a, size_t intdim, size_ exact = false; } /* singleton */ - else r.insert(Constraint(Variable(i)==temp)); + else r.insert(Constraint(Variable(i)==mpz_class(temp))); } return exact; } -- debian/patches/series0000644000000000000000000000050312256542535012041 0ustar 0001-Remove-rpaths.patch 0002-Add-sonames.patch 0003-Patch-in-order-to-be-able-to-build-on-non-native-arc.patch 0004-Patch-in-order-to-resolve-symbols.patch 0005-Install-oct-.a.patch 0006-Remove-references-to-obsolete-mpfr_random.patch 0007-Fix-rounding-mode-check-in-assert.patch 0008-Fix-build-failure-with-ppl-1.0.patch debian/patches/0007-Fix-rounding-mode-check-in-assert.patch0000644000000000000000000000226612256542535020512 0ustar From: Laurent Fousse Date: Mon, 19 Jul 2010 10:57:25 +0200 Subject: Fix rounding mode check in assert. Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=589359 Signed-off-by: Stephane Glondu --- mlgmpidl/gmp_caml.h | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/mlgmpidl/gmp_caml.h b/mlgmpidl/gmp_caml.h index 15ca41c..0b3468a 100644 --- a/mlgmpidl/gmp_caml.h +++ b/mlgmpidl/gmp_caml.h @@ -46,10 +46,14 @@ void camlidl_mpfr_ptr_ml2c(value val, mpfr_ptr* mpf); void camlidl_mpfr_ml2c(value val, __mpfr_struct* mpf); static inline value camlidl_mpfr_rnd_t_c2ml(mpfr_rnd_t* rnd) -{ assert(*rnd>=0 && *rnd=0 && *rnd