[Lunar-commits] <moonbase-other> Merge branch 'master' of github.com:lunar-linux/moonbase-other

[Florin Braescu]

commit b14203a5b24f58abe55300922e141e6f79ff8fa1
Author: Florin Braescu <florin at lunar-linux.org>
Date: Sat, 13 Oct 2012 05:39:52 -0700
URL: https://github.com/lunar-linux/moonbase-other/commit/b14203a5b24f58abe55300922e141e6f79ff8fa1

Merge branch 'master' of github.com:lunar-linux/moonbase-other
---
  science/facile/BUILD   | +2/-0     
  science/facile/DETAILS | +4/-1     
  2 files changed

--- a/science/facile/BUILD
+++ b/science/facile/BUILD
@@ -1,5 +1,7 @@
 (
 
+  patch_it $SOURCE2 1 &&
+
   ./configure --faciledir /usr/lib/ocaml/facile &&
 
   default_make
--- a/science/facile/DETAILS
+++ b/science/facile/DETAILS
@@ -1,11 +1,14 @@
           MODULE=facile
          VERSION=1.1
           SOURCE=$MODULE-$VERSION.tar.gz
+	 SOURCE2=$MODULE-1.1-ocaml-4.patch
       SOURCE_URL=http://pom.tls.cena.fr/facile/distrib/
+     SOURCE2_URL=$PATCH_URL
       SOURCE_VFY=sha1:31dea6e19542292c9ccb41515b0ec7ecd103bb80
+     SOURCE2_VFY=sha1:ce4ebfec62ba603d5f73be87585d6d0d68af8778
         WEB_SITE=http://pom.tls.cena.fr/facile/
          ENTERED=20060827
-         UPDATED=20060827
+         UPDATED=20121013
            SHORT="constraint programming library"
 
 cat << EOF