debian/0000755000000000000000000000000012256024062007165 5ustar debian/libfacile-ocaml-dev.examples0000644000000000000000000000003512250555547014515 0ustar examples/*.ml examples/*.dat debian/libfacile-ocaml-dev.install.in0000644000000000000000000000003612250555547014753 0ustar META @OCamlStdlibDir@/facile/ debian/changelog0000644000000000000000000001273612256024062011050 0ustar facile (1.1-9build1) trusty; urgency=medium * Rebuild for ocaml-4.01. -- Matthias Klose Mon, 23 Dec 2013 12:10:26 +0000 facile (1.1-9) unstable; urgency=low [ Stéphane Glondu ] * Team upload * Fix compilation with OCaml 4.01.0 (Closes: #731218) * Remove myself from Uploaders * Update Vcs-* [ Mehdi Dogguy ] * Remove myself from Uploaders. -- Stéphane Glondu Sat, 07 Dec 2013 09:26:26 +0100 facile (1.1-8) unstable; urgency=low * debian/control: - update Vcs-* to point to git repository - remove duplicate section field - add suggestion to ocaml-findlib - bump Standards-Version to 3.9.2 (no changes) * Switch source package format to 3.0 (quilt) * Bump debhelper compat level to 8 -- Stéphane Glondu Wed, 17 Aug 2011 21:49:35 +0200 facile (1.1-7) unstable; urgency=low [ Stéphane Glondu ] * Acknowledge non-maintainer uploads * Switch packaging to git * Remove Steffen and add myself to Uploaders * Bump debhelper compatibility level to 7 * Remove versioned dependencies available in oldstable * Switch copyright to machine-parsable format * Add Homepage * Move to new ocaml section * Fix typography of Objective Caml in description [ Mehdi Dogguy ] * Add myself to uploaders * Build-depend on ocaml (>= 3.11.1-3~) and dh-ocaml (>= 0.9~) * Use new features of dh-ocaml 0.9 * Bump Standards-Version to 3.8.3 + add a README.source * Move libfacile-ocaml-dev to section ocaml * Add a META for libfacile-ocaml-dev (Closes: #443005) -- Mehdi Dogguy Tue, 06 Oct 2009 13:22:47 +0200 facile (1.1-6.3) unstable; urgency=low * Call clean in examples/ manually as upstream's Makefile wont and cdbs doesn't keep the patches applied when cleaning. * Fix ocamlopt usage; closes: #501672. - New dpatch, 30-non-opt-check, ocamlopt isn't available on all arches; don't use it for make check. - New patch, 40-allow-ocamlc-override-in-examples, allow overriding OCAMLC in examples by using separate _INVOKE vars to run misc commands. -- Loic Minier Thu, 09 Oct 2008 15:20:00 +0200 facile (1.1-6.2) unstable; urgency=low [ Stefano Zacchiroli ] * fix vcs-svn field to point just above the debian/ dir [ Loic Minier ] * Non-maintainer upload to fix misc packaging bugs; closes: #500830. * Only compute OCAML_ABI once by using := instead of =. * Don't overwrite DEB_DH_GENCONTROL_ARGS and use -u instead of -- to pass args to dpkg-gencontrol in a safer manner. * Include dpatch.mk instead of calling dpatch manually; NB: this will cause the patches to be applied before running configure which is more useful, but doesn't change anything with the current patches; bump up cdbs bdep to >= 0.4.21. * Use the makefile.mk cdbs class instead of the autotools one. - Move the configure flag to a new custom common-configure-impl / config_Makefile rule. - Drop --disable-maintainer-mode exclusion hack. - Don't call make clean in clean; cdbs does that for us. - Set DEB_MAKE_INSTALL_TARGET to install. * Drop redundant setting of FACILEDIR with the echo >config_Makefile construct; the configure flag works fine. * Replace debian/libfacile-ocaml-dev.dirs.in template and logic with DEB_INSTALL_DIRS_ALL; fixes lack of cleanup of debian/libfacile-ocaml-dev.dirs. * Set OCAMLC OCAMLMLI via DEB_MAKE_INVOKE instead of DEB_MAKE_BUILD_TARGET; this sets the same environment for all make runs. * Add year 2004 to copyright. * Point at common-licenses for the full text of the LGPL and include the full licensing header. * Depend on ${misc:Depends} as recommended in debhelper 5. * Set DEB_MAKE_CHECK_TARGET to check to run the testsuite during package build. * Use Vcs-* headers instead of XS-Vcs-*. * Bump up Standards-Version to 3.8.0. * Provide examples/*.ml and examples/*.dat as examples; closes: #446804. -- Loic Minier Thu, 02 Oct 2008 12:37:48 +0200 facile (1.1-6.1) unstable; urgency=low * Non-maintainer upload. * Rebuilding against ocaml 3.10 (closes: #442997) -- Stefano Zacchiroli Tue, 18 Sep 2007 09:34:40 +0200 facile (1.1-6) unstable; urgency=low * Bump debhelper level to 5 * Change my maintainer address -- Steffen Joeris Wed, 3 Jan 2007 22:16:17 +0100 facile (1.1-5) unstable; urgency=low * Rebuild with OCaml 3.09.2 * Bump standard version to 3.7.2 * Remove control.in as we no longer have a need for that -- Steffen Joeris Wed, 17 May 2006 22:55:21 +0200 facile (1.1-4) unstable; urgency=low * Make sure that the *.mli files are installed before the *.cmi files (Closes: #352008) -- Steffen Joeris Thu, 9 Feb 2006 12:52:11 +0100 facile (1.1-3) unstable; urgency=low * Rebuild with OCaml 3.09.1 * Add control.in which is only called manually with a special rule and not during the build -- Steffen Joeris Sun, 8 Jan 2006 18:51:12 +0100 facile (1.1-2) unstable; urgency=low * Adapt patch to upstream Makefile to not try to build the native library when ocamlopt isn't available (Closes: #340305). Thanks to Julien Cristau -- Steffen Joeris Tue, 22 Nov 2005 19:18:05 +0100 facile (1.1-1) unstable; urgency=low * Initial release (Closes: #336852) -- Steffen Joeris Sun, 30 Oct 2005 00:41:20 +0200 debian/META.in0000644000000000000000000000026112250555547010255 0ustar name="facile" version="@VERSION@" description="functional constraint library implemented in Objective Caml" requires="" archive(byte)="facile.cma" archive(native)="facile.cmxa" debian/rules0000755000000000000000000000143212250555547010260 0ustar #!/usr/bin/make -f include /usr/share/cdbs/1/rules/debhelper.mk include /usr/share/cdbs/1/class/makefile.mk include /usr/share/cdbs/1/rules/ocaml.mk FACILEDIR := $(shell ocamlc -where)/facile VERSION := $(shell head -n1 debian/changelog | awk -F'[ ()-]+' '{print $$2}') DEB_INSTALL_DIRS_ALL += $(FACILEDIR) DEB_MAKE_INVOKE += OCAMLC="ocamlc -g" OCAMLMLI=ocamlc DEB_MAKE_INSTALL_TARGET := install DEB_MAKE_CHECK_TARGET := check common-configure-arch common-configure-indep:: common-configure-impl common-configure-impl:: config_Makefile config_Makefile: ./configure --faciledir debian/libfacile-ocaml-dev/$(FACILEDIR) sed 's/@VERSION@/$(VERSION)/' debian/META.in > $(CURDIR)/META clean:: rm -f META # not cleaned upstream rm -f config_Makefile $(DEB_MAKE_INVOKE) -k -C examples clean debian/gbp.conf0000644000000000000000000000003612250555547010616 0ustar [DEFAULT] pristine-tar = True debian/control0000644000000000000000000000317612250556223010602 0ustar Source: facile Priority: optional Maintainer: Debian OCaml Maintainers Build-Depends: debhelper (>= 8), cdbs, ocaml-nox (>= 3.11.1-3~), dh-ocaml (>= 0.9~) Standards-Version: 3.9.2 Section: ocaml Homepage: http://www.recherche.enac.fr/opti/facile/ Vcs-Git: git://anonscm.debian.org/pkg-ocaml-maint/packages/facile.git Vcs-Browser: http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/facile.git Package: libfacile-ocaml-dev Architecture: any Depends: ${ocaml:Depends}, ${misc:Depends}, ${shlibs:Depends} Provides: ${ocaml:Provides} Suggests: ocaml-findlib Description: functional constraint library implemented in Objective Caml FaCiLe is a constraint programming library over integer finite domain written in Objective Caml. It offers all usual facilities to create and manipulate finite domain variables, arithmetic expressions and constraints (possibly non-linear), built-in global constraints and search goals. FaCiLe allows as well to build easily user-defined constraints and goals (including recursive ones), making pervasive use of OCaml higher-order functionals to provide a simple and flexible interface for the user. As FaCiLe is an OCaml library and not "yet another language", the user benefits from type inference and strong typing discipline, high level of abstraction, modules and objects system, as well as native code compilation efficiency, garbage collection and replay debugger, all features of OCaml (among many others) that allow to prototype and experiment quickly: modeling, data processing and interface are implemented with the same powerful and efficient language. debian/copyright0000644000000000000000000000252112250555547011133 0ustar Packaged-By: Steffen Joeris Packaged-Date: Sun, 30 Oct 2005 00:41:20 +0200 Upstream-Author: Nicolas Barnier, Pascal Brisset Original-Source-Location: http://www.recherche.enac.fr/opti/facile/distrib/ Files: * Copyright: © 2001-2004 CENA 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. You should have received a copy of the GNU Lesser General Public License along with this package; if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA On Debian systems, the complete text of the GNU Lesser General Public License can be found in `/usr/share/common-licenses/LGPL-2.1'. Files: debian/* Copyright: © 2005-2008 Steffen Joeris © 2008 Loïc Minier © 2009 Stéphane Glondu License: LGPL-2.1+ debian/source/0000755000000000000000000000000012250555547010500 5ustar debian/source/format0000644000000000000000000000001412250555547011706 0ustar 3.0 (quilt) debian/watch0000644000000000000000000000013512250555547010230 0ustar version=3 http://www.recherche.enac.fr/opti/facile/distrib/ \ facile-([\d.]+).tar.gz debian/patches/0000755000000000000000000000000012250555550010621 5ustar debian/patches/0003-ocamlopt-isn-t-available-on-all-arches-don-t-use-it-.patch0000644000000000000000000000101012250555550023721 0ustar From: Loic Minier Date: Wed, 17 Aug 2011 21:29:27 +0200 Subject: ocamlopt isn't available on all arches; don't use it for make check --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 78a6dfe..0854fb2 100644 --- a/Makefile +++ b/Makefile @@ -24,4 +24,4 @@ distclean uninstall: rm -fr $(FACILEDIR) check: - cd examples; make FACILEDIR=../src queens.opt; ./queens.opt 8 + cd examples; $(MAKE) FACILEDIR=../src queens.out && ./queens.out 8 -- debian/patches/0005-Fix-compilation-with-OCaml-4.01.0.patch0000644000000000000000000000121112250555550017741 0ustar From: Stephane Glondu Date: Sat, 7 Dec 2013 09:24:04 +0100 Subject: Fix compilation with OCaml 4.01.0 An addition optional argument has been added to Hashtbl.create. Bug-Debian: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=731218 --- src/fcl_data.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/fcl_data.ml b/src/fcl_data.ml index b5f25be..f20c8b3 100644 --- a/src/fcl_data.ml +++ b/src/fcl_data.ml @@ -16,7 +16,7 @@ end module Hashtbl = struct type ('a, 'b) t = ('a, 'b) Hashtbl.t - let create = Hashtbl.create + let create n = Hashtbl.create n let get h = h let add h k d = -- debian/patches/0004-Allow-overriding-OCAMLC-in-examples.patch0000644000000000000000000000324112250555550020623 0ustar From: Loic Minier Date: Wed, 17 Aug 2011 21:30:26 +0200 Subject: Allow overriding OCAMLC in examples This is done by using separate _INVOKE vars to run misc commands. --- examples/Makefile | 26 ++++++++++++++------------ 1 file changed, 14 insertions(+), 12 deletions(-) diff --git a/examples/Makefile b/examples/Makefile index e3a2194..82029f1 100644 --- a/examples/Makefile +++ b/examples/Makefile @@ -7,32 +7,34 @@ FACILEDIR= +facile INCLUDES= -I $(FACILEDIR) -OCAMLC= ocamlc -g $(INCLUDES) -OCAMLMLI= ocamlc $(INCLUDES) -OCAMLOPT= ocamlopt $(INCLUDES) -OCAMLDEP= ocamldep $(INCLUDES) +OCAMLC= ocamlc -g +OCAMLMLI= ocamlc +OCAMLOPT= ocamlopt +OCAMLDEP= ocamldep +OCAMLC_INVOKE = $(OCAMLC) $(INCLUDES) +OCAMLOPT_INVOKE = $(OCAMLOPT) $(INCLUDES) .SUFFIXES: .SUFFIXES: .ml .mli .mly .mll .cmi .cmo .cmx .out .opt .p.cmx .popt .ml.cmo : - $(OCAMLC) -c $< + $(OCAMLC_INVOKE) -c $< .mli.cmi : - $(OCAMLMLI) -c $< + $(OCAMLMLI) $(INCLUDES) -c $< .ml.cmx : - $(OCAMLOPT) -c $< + $(OCAMLOPT_INVOKE) -c $< # To produce profiled objects .ml.p.cmx : - $(OCAMLOPT) -p -c $< + $(OCAMLOPT_INVOKE) -p -c $< mv $*.cmx $@ mv $*.o $*.p.o .cmo.out : - $(OCAMLC) -o $@ facile.cma $< + $(OCAMLC_INVOKE) -o $@ facile.cma $< # To produce profiled binaries .p.cmx.popt : - $(OCAMLOPT) -p -o $@ facile.p.cmxa $< + $(OCAMLOPT_INVOKE) -p -o $@ facile.p.cmxa $< .cmx.opt : - $(OCAMLOPT) -o $@ facile.cmxa $< + $(OCAMLOPT_INVOKE) -o $@ facile.cmxa $< .mly.ml : ocamlyacc $< .mll.ml : @@ -42,6 +44,6 @@ clean: \rm -f *.cmo *.cmi *.cmx *.o *~ *.opt *.out .depend *.popt .depend: - $(OCAMLDEP) *.mli *.ml > $@ + $(OCAMLDEP) $(INCLUDES) *.mli *.ml > $@ include .depend -- debian/patches/0001-Make-facile-available-for-more-architectures.patch0000644000000000000000000000240612250555550022625 0ustar From: Steffen Joeris Date: Wed, 17 Aug 2011 21:26:52 +0200 Subject: Make facile available for more architectures --- src/Makefile | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/src/Makefile b/src/Makefile index 94d8326..d1c032f 100644 --- a/src/Makefile +++ b/src/Makefile @@ -15,8 +15,13 @@ CSTR= fcl_debug.ml fcl_misc.ml fcl_domain.ml fcl_setDomain.ml fcl_float.ml fcl_s CSTRCMO = $(CSTR:.ml=.cmo) CSTRCMX = $(CSTR:.ml=.cmx) +CMXA = +ifneq ($(wildcard /usr/bin/ocamlopt),) +CMXA = facile.cmxa +endif + # Default target: libraries and toplevel -all : facile.cma facile.cmxa facile +all : facile.cma $(CMXA) facile # Libraries facile.cma : $(CSTRCMO) @@ -31,7 +36,7 @@ facile.p.cmxa : $(CSTR) make facile.cmxa OPTOPT=-p rm -fr $(CSTRCMX) mv facile.cmxa $@ - mv facile.a facile.p.a + if [ -e facile.a ] ; then mv facile.a facile.p.a ; fi # Toplevel (to be run with the "-I +facile" option) facile : facile.cma @@ -45,7 +50,7 @@ facile.exp.cmxa : $(CSTR) make facile.cmxa OPTOPT="-pp inline_functors" rm -fr $(CSTRCMX) mv facile.cmxa $@ - mv facile.a facile.exp.a + if [ -e facile.a ] ; then mv facile.a facile.exp.a ; fi .SUFFIXES: .SUFFIXES: .ml .mli .mly .mll .cmi .cmo .cmx .p.cmx .s -- debian/patches/series0000644000000000000000000000041412250555550012035 0ustar 0001-Make-facile-available-for-more-architectures.patch 0002-Make-facile-available-for-more-architectures.patch 0003-ocamlopt-isn-t-available-on-all-arches-don-t-use-it-.patch 0004-Allow-overriding-OCAMLC-in-examples.patch 0005-Fix-compilation-with-OCaml-4.01.0.patch debian/patches/0002-Make-facile-available-for-more-architectures.patch0000644000000000000000000000245412250555550022631 0ustar From: Steffen Joeris Date: Wed, 17 Aug 2011 21:28:29 +0200 Subject: Make facile available for more architectures --- Makefile | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/Makefile b/Makefile index 1f15b06..78a6dfe 100644 --- a/Makefile +++ b/Makefile @@ -7,11 +7,15 @@ compile: install: if test -d $(FACILEDIR); then : ; else mkdir $(FACILEDIR); fi - cp src/facile.cmi src/facile.cma src/facile.cmxa src/facile.a $(FACILEDIR) - chmod a+r $(FACILEDIR)/facile.cmi - chmod a+r $(FACILEDIR)/facile.cma - chmod a+r $(FACILEDIR)/facile.cmxa - chmod a+r $(FACILEDIR)/facile.a + install -m 644 src/*.mli $(FACILEDIR) + if [ -e src/facile.cmi ] ; then cp src/facile.cmi $(FACILEDIR) ; fi + if [ -e src/facile.cma ] ; then cp src/facile.cma $(FACILEDIR) ; fi + if [ -e src/facile.a ] ; then cp src/facile.a $(FACILEDIR) ; fi + if [ -e src/facile.cmxa ] ; then cp src/facile.cmxa $(FACILEDIR) ; fi + if [ -e $(FACILEDIR)/facile.cmi ] ; then chmod a+r $(FACILEDIR)/facile.cmi ; fi + if [ -e $(FACILEDIR)/facile.cma ] ; then chmod a+r $(FACILEDIR)/facile.cma ; fi + if [ -e $(FACILEDIR)/facile.cmxa ] ; then chmod a+r $(FACILEDIR)/facile.cmxa ; fi + if [ -e $(FACILEDIR)/facile.a ] ; then chmod a+r $(FACILEDIR)/facile.a ; fi clean: cd src; make clean -- debian/compat0000644000000000000000000000000212250555547010376 0ustar 8