diff options
Diffstat (limited to 'homebrew/mlkit')
-rw-r--r-- | homebrew/mlkit/.beer | 34 | ||||
-rw-r--r-- | homebrew/mlkit/.make.sh-auto | 7 | ||||
-rw-r--r-- | homebrew/mlkit/_metadata/description | 1 | ||||
-rw-r--r-- | homebrew/mlkit/_metadata/homepage | 1 | ||||
-rw-r--r-- | homebrew/mlkit/_metadata/name | 1 | ||||
-rw-r--r-- | homebrew/mlkit/_metadata/version | 1 | ||||
-rwxr-xr-x | homebrew/mlkit/download.sh | 1 |
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 |