summaryrefslogtreecommitdiff
path: root/homebrew/gnuprolog
diff options
context:
space:
mode:
Diffstat (limited to 'homebrew/gnuprolog')
-rw-r--r--homebrew/gnuprolog/.beer20
-rw-r--r--homebrew/gnuprolog/.make.sh-auto6
-rw-r--r--homebrew/gnuprolog/_metadata/description1
-rw-r--r--homebrew/gnuprolog/_metadata/homepage1
-rw-r--r--homebrew/gnuprolog/_metadata/name1
-rw-r--r--homebrew/gnuprolog/_metadata/version1
-rwxr-xr-xhomebrew/gnuprolog/download.sh1
7 files changed, 31 insertions, 0 deletions
diff --git a/homebrew/gnuprolog/.beer b/homebrew/gnuprolog/.beer
new file mode 100644
index 000000000..f91f5d7f9
--- /dev/null
+++ b/homebrew/gnuprolog/.beer
@@ -0,0 +1,20 @@
+{
+ "name": "GnuProlog",
+ "description": "Prolog compiler with constraint solving",
+ "url": "http://www.gprolog.org/gprolog-1.4.5.tar.gz",
+ "mirror": "https://deb.debian.org/debian/pool/main/g/gprolog/gprolog_1.4.5.orig.tar.gz",
+ "homepage": "http://www.gprolog.org/",
+ "depends": [],
+ "resource": [],
+ "conflicts": [],
+ "patches": [],
+ "install": [
+ "cd \"src\" do",
+ "system \"./configure\", \"--prefix=#{prefix}\", \"--with-doc-dir=#{doc}\"",
+ "ENV.deparallelize",
+ "system \"make\"",
+ "system \"make\", \"install\""
+ ],
+ "version": "1.4.5",
+ "file": "gnu-prolog.rb"
+} \ No newline at end of file
diff --git a/homebrew/gnuprolog/.make.sh-auto b/homebrew/gnuprolog/.make.sh-auto
new file mode 100644
index 000000000..fed11e70f
--- /dev/null
+++ b/homebrew/gnuprolog/.make.sh-auto
@@ -0,0 +1,6 @@
+pkg:setup
+cd "src"
+pkg:configure --with-doc-dir=#{doc}
+ENV.deparallelize
+make
+make DESTDIR=${PKG_DEST} install
diff --git a/homebrew/gnuprolog/_metadata/description b/homebrew/gnuprolog/_metadata/description
new file mode 100644
index 000000000..130389acd
--- /dev/null
+++ b/homebrew/gnuprolog/_metadata/description
@@ -0,0 +1 @@
+Prolog compiler with constraint solving
diff --git a/homebrew/gnuprolog/_metadata/homepage b/homebrew/gnuprolog/_metadata/homepage
new file mode 100644
index 000000000..6d37b889b
--- /dev/null
+++ b/homebrew/gnuprolog/_metadata/homepage
@@ -0,0 +1 @@
+http://www.gprolog.org/
diff --git a/homebrew/gnuprolog/_metadata/name b/homebrew/gnuprolog/_metadata/name
new file mode 100644
index 000000000..c4acb6c81
--- /dev/null
+++ b/homebrew/gnuprolog/_metadata/name
@@ -0,0 +1 @@
+GnuProlog
diff --git a/homebrew/gnuprolog/_metadata/version b/homebrew/gnuprolog/_metadata/version
new file mode 100644
index 000000000..e516bb9d9
--- /dev/null
+++ b/homebrew/gnuprolog/_metadata/version
@@ -0,0 +1 @@
+1.4.5
diff --git a/homebrew/gnuprolog/download.sh b/homebrew/gnuprolog/download.sh
new file mode 100755
index 000000000..320fc2c8f
--- /dev/null
+++ b/homebrew/gnuprolog/download.sh
@@ -0,0 +1 @@
+wget http://www.gprolog.org/gprolog-1.4.5.tar.gz || wget https://deb.debian.org/debian/pool/main/g/gprolog/gprolog_1.4.5.orig.tar.gz \ No newline at end of file