pkg(ocaml-4.12.0): Add ocaml 4.12.0 (#200)
This commit is contained in:
parent
ba8a0bc377
commit
7cbfdd9f4c
|
@ -0,0 +1,17 @@
|
|||
#!/bin/bash
|
||||
|
||||
PREFIX=$(realpath $(dirname $0))
|
||||
|
||||
mkdir -p build
|
||||
cd build
|
||||
|
||||
curl -L "https://github.com/ocaml/ocaml/archive/4.12.0.tar.gz" -o ocaml.tar.gz
|
||||
tar xzf ocaml.tar.gz --strip-components=1
|
||||
rm ocaml.tar.gz
|
||||
|
||||
./configure --prefix="$PREFIX"
|
||||
make -j$(nproc)
|
||||
make install -j$(nproc)
|
||||
|
||||
cd ..
|
||||
rm -rf build
|
|
@ -0,0 +1,3 @@
|
|||
#!/bin/bash
|
||||
|
||||
ocamlc -o out "$@"
|
|
@ -0,0 +1,3 @@
|
|||
#!/bin/bash
|
||||
|
||||
export PATH=$PWD/bin:$PATH
|
|
@ -0,0 +1,5 @@
|
|||
{
|
||||
"language": "ocaml",
|
||||
"version": "4.12.0",
|
||||
"aliases": ["ocaml", "ml"]
|
||||
}
|
|
@ -0,0 +1,4 @@
|
|||
#!/bin/bash
|
||||
|
||||
shift
|
||||
./out "$@"
|
|
@ -0,0 +1 @@
|
|||
print_string "OK\n";
|
Loading…
Reference in New Issue