[Pkg-ocaml-maint-commits] r1912 - in trunk/packages: . facile facile/trunk facile/trunk/debian facile/upstream

[Steffen Joeris]

Author: white-guest
Date: 2005-11-03 14:54:46 +0000 (Thu, 03 Nov 2005)
New Revision: 1912

Added:
   trunk/packages/facile/
   trunk/packages/facile/trunk/
   trunk/packages/facile/trunk/debian/
   trunk/packages/facile/trunk/debian/changelog
   trunk/packages/facile/trunk/debian/compat
   trunk/packages/facile/trunk/debian/control
   trunk/packages/facile/trunk/debian/copyright
   trunk/packages/facile/trunk/debian/libfacile-ocaml-dev.dirs
   trunk/packages/facile/trunk/debian/rules
   trunk/packages/facile/upstream/
   trunk/packages/facile/upstream/facile_1.1.orig.tar.gz
Log:
initial version of facile


Added: trunk/packages/facile/trunk/debian/changelog
===================================================================
--- trunk/packages/facile/trunk/debian/changelog	2005-11-03 11:08:38 UTC (rev 1911)
+++ trunk/packages/facile/trunk/debian/changelog	2005-11-03 14:54:46 UTC (rev 1912)
@@ -0,0 +1,6 @@
+facile (1.1-1) unstable; urgency=low
+
+  * Initial release
+
+ -- Steffen Joeris <steffen.joeris at skolelinux.de>  Sun, 30 Oct 2005 00:41:20 +0200
+

Added: trunk/packages/facile/trunk/debian/compat
===================================================================
--- trunk/packages/facile/trunk/debian/compat	2005-11-03 11:08:38 UTC (rev 1911)
+++ trunk/packages/facile/trunk/debian/compat	2005-11-03 14:54:46 UTC (rev 1912)
@@ -0,0 +1 @@
+4

Added: trunk/packages/facile/trunk/debian/control
===================================================================
--- trunk/packages/facile/trunk/debian/control	2005-11-03 11:08:38 UTC (rev 1911)
+++ trunk/packages/facile/trunk/debian/control	2005-11-03 14:54:46 UTC (rev 1912)
@@ -0,0 +1,28 @@
+Source: facile
+Priority: optional
+Maintainer: Steffen Joeris <steffen.joeris at skolelinux.de>
+Build-Depends: debhelper (>= 4.1.0), cdbs (>= 0.4.0), ocaml-native-compilers
+Standards-Version: 3.6.2
+Section: libdevel
+
+Package: libfacile-ocaml-dev
+Section: libdevel
+Architecture: any
+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.
+ .
+ Web site: http://www.recherche.enac.fr/opti/facile

Added: trunk/packages/facile/trunk/debian/copyright
===================================================================
--- trunk/packages/facile/trunk/debian/copyright	2005-11-03 11:08:38 UTC (rev 1911)
+++ trunk/packages/facile/trunk/debian/copyright	2005-11-03 14:54:46 UTC (rev 1912)
@@ -0,0 +1,19 @@
+This package was debianized by Steffen Joeris <steffen.joeris at skolelinux.de> on
+Sun, 30 Oct 2005 00:41:20 +0200.
+
+It was downloaded from ftp://ftp.recherche.enac.fr/pub/facile 
+
+Copyright Holder: Copyright (C) 2001, CENA 
+
+License:
+
+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.
+

Added: trunk/packages/facile/trunk/debian/libfacile-ocaml-dev.dirs
===================================================================
--- trunk/packages/facile/trunk/debian/libfacile-ocaml-dev.dirs	2005-11-03 11:08:38 UTC (rev 1911)
+++ trunk/packages/facile/trunk/debian/libfacile-ocaml-dev.dirs	2005-11-03 14:54:46 UTC (rev 1912)
@@ -0,0 +1 @@
+usr/lib/ocaml/3.08.3/facile

Added: trunk/packages/facile/trunk/debian/rules
===================================================================
--- trunk/packages/facile/trunk/debian/rules	2005-11-03 11:08:38 UTC (rev 1911)
+++ trunk/packages/facile/trunk/debian/rules	2005-11-03 14:54:46 UTC (rev 1912)
@@ -0,0 +1,15 @@
+#!/usr/bin/make -f
+
+include /usr/share/cdbs/1/class/autotools.mk
+include /usr/share/cdbs/1/rules/debhelper.mk
+
+DEB_CONFIGURE_NORMAL_ARGS = --faciledir debian/libfacile-ocaml-dev/usr/lib/ocaml/3.08.3/facile
+exclude=--disable-maintainer-mode
+DEB_CONFIGURE_INVOKE:=$(filter-out $(exclude),$(DEB_CONFIGURE_INVOKE))
+
+common-configure-arch::
+	echo FACILEDIR=debian/libfacile-ocaml-dev/usr/lib/ocaml/3.08.3/facile >config_Makefile
+
+clean::
+	make clean
+	rm -f config_Makefile


Property changes on: trunk/packages/facile/trunk/debian/rules
___________________________________________________________________
Name: svn:executable
   + *

Added: trunk/packages/facile/upstream/facile_1.1.orig.tar.gz
===================================================================
(Binary files differ)


Property changes on: trunk/packages/facile/upstream/facile_1.1.orig.tar.gz
___________________________________________________________________
Name: svn:mime-type
   + application/octet-stream