summaryrefslogtreecommitdiff
path: root/homebrew/camlp5
diff options
context:
space:
mode:
Diffstat (limited to 'homebrew/camlp5')
-rw-r--r--homebrew/camlp5/.beer24
-rw-r--r--homebrew/camlp5/.make.sh-auto5
-rw-r--r--homebrew/camlp5/_metadata/description1
-rw-r--r--homebrew/camlp5/_metadata/homepage1
-rw-r--r--homebrew/camlp5/_metadata/name1
-rw-r--r--homebrew/camlp5/_metadata/version1
-rwxr-xr-xhomebrew/camlp5/download.sh1
7 files changed, 34 insertions, 0 deletions
diff --git a/homebrew/camlp5/.beer b/homebrew/camlp5/.beer
new file mode 100644
index 000000000..b272eb475
--- /dev/null
+++ b/homebrew/camlp5/.beer
@@ -0,0 +1,24 @@
+{
+ "name": "Camlp5",
+ "description": "Preprocessor and pretty-printer for OCaml",
+ "url": "https://github.com/camlp5/camlp5/archive/rel707.tar.gz",
+ "mirror": null,
+ "homepage": "https://camlp5.github.io/",
+ "depends": [
+ {
+ "depend": "ocaml",
+ "build-depend": false
+ }
+ ],
+ "resource": [],
+ "conflicts": [],
+ "patches": [],
+ "install": [
+ "system \"./configure\", \"--prefix\", prefix, \"--mandir\", man",
+ "system \"make\", \"world.opt\"",
+ "system \"make\", \"install\"",
+ "(lib/\"ocaml/camlp5\").install \"etc/META\""
+ ],
+ "version": "707",
+ "file": "camlp5.rb"
+} \ No newline at end of file
diff --git a/homebrew/camlp5/.make.sh-auto b/homebrew/camlp5/.make.sh-auto
new file mode 100644
index 000000000..271954d98
--- /dev/null
+++ b/homebrew/camlp5/.make.sh-auto
@@ -0,0 +1,5 @@
+pkg:setup
+pkg:configure --prefix prefix --mandir man
+make world.opt
+make DESTDIR=${PKG_DEST} install
+(lib/"ocaml/camlp5").install "etc/META"
diff --git a/homebrew/camlp5/_metadata/description b/homebrew/camlp5/_metadata/description
new file mode 100644
index 000000000..3532362d3
--- /dev/null
+++ b/homebrew/camlp5/_metadata/description
@@ -0,0 +1 @@
+Preprocessor and pretty-printer for OCaml
diff --git a/homebrew/camlp5/_metadata/homepage b/homebrew/camlp5/_metadata/homepage
new file mode 100644
index 000000000..1969cd9a6
--- /dev/null
+++ b/homebrew/camlp5/_metadata/homepage
@@ -0,0 +1 @@
+https://camlp5.github.io/
diff --git a/homebrew/camlp5/_metadata/name b/homebrew/camlp5/_metadata/name
new file mode 100644
index 000000000..2ad59b2df
--- /dev/null
+++ b/homebrew/camlp5/_metadata/name
@@ -0,0 +1 @@
+Camlp5
diff --git a/homebrew/camlp5/_metadata/version b/homebrew/camlp5/_metadata/version
new file mode 100644
index 000000000..8b8e485dc
--- /dev/null
+++ b/homebrew/camlp5/_metadata/version
@@ -0,0 +1 @@
+707
diff --git a/homebrew/camlp5/download.sh b/homebrew/camlp5/download.sh
new file mode 100755
index 000000000..27a990994
--- /dev/null
+++ b/homebrew/camlp5/download.sh
@@ -0,0 +1 @@
+wget https://github.com/camlp5/camlp5/archive/rel707.tar.gz \ No newline at end of file