summaryrefslogtreecommitdiff
path: root/homebrew/mlkit
diff options
context:
space:
mode:
Diffstat (limited to 'homebrew/mlkit')
-rw-r--r--homebrew/mlkit/.beer34
-rw-r--r--homebrew/mlkit/.make.sh-auto7
-rw-r--r--homebrew/mlkit/_metadata/description1
-rw-r--r--homebrew/mlkit/_metadata/homepage1
-rw-r--r--homebrew/mlkit/_metadata/name1
-rw-r--r--homebrew/mlkit/_metadata/version1
-rwxr-xr-xhomebrew/mlkit/download.sh1
7 files changed, 46 insertions, 0 deletions
diff --git a/homebrew/mlkit/.beer b/homebrew/mlkit/.beer
new file mode 100644
index 000000000..8bc3cfde3
--- /dev/null
+++ b/homebrew/mlkit/.beer
@@ -0,0 +1,34 @@
+{
+ "name": "Mlkit",
+ "description": "Compiler for the Standard ML programming language",
+ "url": "https://github.com/melsman/mlkit/archive/mlkit-4.4.2.tar.gz",
+ "mirror": null,
+ "homepage": "https://melsman.github.io/mlkit",
+ "depends": [
+ {
+ "depend": "autoconf",
+ "build-depend": true
+ },
+ {
+ "depend": "mlton",
+ "build-depend": true
+ },
+ {
+ "depend": "gmp",
+ "build-depend": false
+ }
+ ],
+ "resource": [],
+ "conflicts": [],
+ "patches": [],
+ "install": [
+ "system \"sh\", \"./autobuild\"",
+ "system \"./configure\", \"--prefix=#{prefix}\"",
+ "ENV.permit_arch_flags",
+ "system \"make\", \"mlkit\"",
+ "system \"make\", \"mlkit_libs\"",
+ "system \"make\", \"install\""
+ ],
+ "version": "4.4.2",
+ "file": "mlkit.rb"
+} \ No newline at end of file
diff --git a/homebrew/mlkit/.make.sh-auto b/homebrew/mlkit/.make.sh-auto
new file mode 100644
index 000000000..e4b5e02a7
--- /dev/null
+++ b/homebrew/mlkit/.make.sh-auto
@@ -0,0 +1,7 @@
+pkg:setup
+sh ./autobuild
+pkg:configure
+ENV.permit_arch_flags
+make mlkit
+make mlkit_libs
+make DESTDIR=${PKG_DEST} install
diff --git a/homebrew/mlkit/_metadata/description b/homebrew/mlkit/_metadata/description
new file mode 100644
index 000000000..42a787c7b
--- /dev/null
+++ b/homebrew/mlkit/_metadata/description
@@ -0,0 +1 @@
+Compiler for the Standard ML programming language
diff --git a/homebrew/mlkit/_metadata/homepage b/homebrew/mlkit/_metadata/homepage
new file mode 100644
index 000000000..d47bc0f04
--- /dev/null
+++ b/homebrew/mlkit/_metadata/homepage
@@ -0,0 +1 @@
+https://melsman.github.io/mlkit
diff --git a/homebrew/mlkit/_metadata/name b/homebrew/mlkit/_metadata/name
new file mode 100644
index 000000000..aebf9b889
--- /dev/null
+++ b/homebrew/mlkit/_metadata/name
@@ -0,0 +1 @@
+Mlkit
diff --git a/homebrew/mlkit/_metadata/version b/homebrew/mlkit/_metadata/version
new file mode 100644
index 000000000..1d068c6ec
--- /dev/null
+++ b/homebrew/mlkit/_metadata/version
@@ -0,0 +1 @@
+4.4.2
diff --git a/homebrew/mlkit/download.sh b/homebrew/mlkit/download.sh
new file mode 100755
index 000000000..aa6b74422
--- /dev/null
+++ b/homebrew/mlkit/download.sh
@@ -0,0 +1 @@
+wget https://github.com/melsman/mlkit/archive/mlkit-4.4.2.tar.gz \ No newline at end of file