diff --git a/rules/dune/default.bash b/rules/dune/default.bash new file mode 100644 index 0000000..849f3f7 --- /dev/null +++ b/rules/dune/default.bash @@ -0,0 +1,37 @@ +version=\ +( + 'master' +) + +requires=\ +( + 'cmake/host' +) + +download() +{ + git clone "git@github.com:LSTS/dune.git" dune && + cd dune && git checkout "$version" && cd - && + git clone "git@git.lsts.pt:dune-private.git" dune/private && + cd dune/private && git checkout "$version" && cd - +} + +configure() +{ + $cmd_mkdir build && + cd build && + cmake \ + -DCMAKE_INSTALL_PREFIX="$cfg_dir_toolchain_sysroot/usr" \ + -DCROSS="$cmd_target_cc" \ + ../dune +} + +build() +{ + $cmd_make -C build +} + +host_install() +{ + $cmd_make -C build install +}