dune (1010B)
1 {%- import "package_sets" as ps -%} 2 {% extends "genlinks" %} 3 {% block template_deps -%} 4 {{ super() -}} 5 #+{{pkg_install_name("busybox-diffutils")}} 6 {{ ps.toolchain() }} 7 #+{{pkg_install_name("ocaml:dynlink")}} 8 #+{{pkg_install_name("dune")}} 9 {% endblock template_deps %} 10 {%- block configure %} 11 export DUNE_CACHE=disabled 12 {{ super() }} 13 {% endblock configure %} 14 {%- block build %} 15 dune build --no-buffer --verbose {% block dune_build_args %}--release{% endblock %} -j "${JOBS:-1}" 16 17 {% endblock build %} 18 {%- block install %} 19 dune install \ 20 --destdir="$pthbs_destdir" \ 21 --prefix="$prefix" \ 22 --libdir="$prefix/{{ocamldir}}" \ 23 --bindir="$prefix/{{bindir}}" \ 24 --sbindir="$prefix/{{sbindir}}" \ 25 --etcdir="$prefix/{{configdir}}/etc" \ 26 --mandir="$prefix/{{mandir}}" \ 27 --docdir="$prefix/{{docdir}}/{{shortname}}" \ 28 --datadir="$prefix/{{datadir}}" \ 29 {% block dune_install_args %}{% endblock %} 30 31 {% endblock install %} 32 {% block check -%} 33 dune runtest --build-dir=.testenv --no-buffer --verbose 34 35 {% endblock check %}