Commit bda666f8 authored by Seb Mondet's avatar Seb Mondet

Fix `debzyket` example

parent dcfffe07
......@@ -26,6 +26,12 @@ let examples =
"debzyket",
Build_definition.Construct.(
let opam_bin = "/usr/local/bin/opam" in
let root_opt = "--root=/opam-root" in
let yes = "--yes" in
let opam cmd l =
[opam_bin; cmd; root_opt] @ l @ [yes] in
let opam_exec l =
opam "config" @@ ["exec"; root_opt; "--"] @ l in
within (qemu_arm debian_wheezy) [
ensure (executables_available ["unzip"; "gcc"; "make"]) [
["apt-get"; "update"];
......@@ -43,9 +49,11 @@ let examples =
file_exists "/opam-root/4.03.0/bin/ocamlopt"
]) [
["rm"; "-rf"; "/opam-root"];
["opam"; "init"; "--yes"; "--comp"; "4.03.0"; "--root"; "/opam-root"];
opam "init" ["--comp"; "4.03.0" ];
];
ensure (returns_zero @@ opam_exec ["ketrew"; "--version"]) [
opam_exec ["install"; "ketrew"];
];
exec ["opam"; "config"; "exec"; "--"; "opam"; "install"; "--yes"; "ketrew"];
get_executable "/opam-root/4.03.0/bin/ketrew" ~dest:"ketrew-armv7l-bin";
]
);
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment