From b0c958ae59e78df93b38f75027bcc17bd58a45d8 Mon Sep 17 00:00:00 2001 From: Ricardo Martins Date: Tue, 3 Nov 2015 13:09:17 +0000 Subject: [PATCH] dune: added package for NECSAVE. --- rules/dune/default.bash | 37 +++++++++++++++++++++++++++++++++++++ 1 file changed, 37 insertions(+) create mode 100644 rules/dune/default.bash 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 +}