diff options
Diffstat (limited to 'homebrew/oneml/.beer')
| -rw-r--r-- | homebrew/oneml/.beer | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/homebrew/oneml/.beer b/homebrew/oneml/.beer new file mode 100644 index 000000000..be73197e0 --- /dev/null +++ b/homebrew/oneml/.beer @@ -0,0 +1,25 @@ +{ + "name": "OneMl", + "description": "Reboot of ML, unifying its core and (now first-class) module layers", + "url": "https://www.mpi-sws.org/~rossberg/1ml/1ml-0.1.zip", + "mirror": null, + "homepage": "https://www.mpi-sws.org/~rossberg/1ml/", + "depends": [ + { + "depend": "ocaml", + "build-depend": true + } + ], + "resource": [], + "conflicts": [], + "patches": [], + "install": [ + "ENV[\"OCAMLPARAM\"] = \"safe-string=0,_\" ", + "system \"make\"", + "bin.install \"1ml\"", + "(pkgshare/\"stdlib\").install Dir.glob(\"*.1ml\")", + "doc.install \"README.txt\"" + ], + "version": "0.1", + "file": "one-ml.rb" +}
\ No newline at end of file |