diff options
| author | Daniel Firth <dan.firth@codethink.co.uk> | 2015-01-18 22:26:03 +0000 |
|---|---|---|
| committer | Baserock Gerrit <gerrit@baserock.org> | 2015-05-01 11:05:43 +0000 |
| commit | 6dd0128cd1c943a16c38652ac0a8821844771cf7 (patch) | |
| tree | ea960065fe32df502719825a42b433c8e646ace3 /strata/ocaml | |
| parent | 0e9bcdbc969214e5c8880c260b1cb83b96b655a3 (diff) | |
| download | definitions-6dd0128cd1c943a16c38652ac0a8821844771cf7.tar.gz | |
Add ocaml chunk, strata and system
Change-Id: I7b36e0e1ef55b4146896aaa3dbc9e4f61c4d205e
Diffstat (limited to 'strata/ocaml')
| -rw-r--r-- | strata/ocaml/ocaml.morph | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/strata/ocaml/ocaml.morph b/strata/ocaml/ocaml.morph new file mode 100644 index 00000000..00e36767 --- /dev/null +++ b/strata/ocaml/ocaml.morph @@ -0,0 +1,8 @@ +name: ocaml +kind: chunk +configure-commands: +- ./configure --prefix "$PREFIX" +build-commands: +- make world.opt +install-commands: +- make DESTDIR="$DESTDIR" install |