This repository has been archived on 2023-08-20. You can view files and clone it, but cannot push or open issues or pull requests.
lsts_glued/rules/dune/default.bash
2017-07-05 14:19:22 +01:00

38 lines
604 B
Bash

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
}