BoomMicrophone/nixpkgs-suyu
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

acgtk: use dune install

Browse source
This commit is contained in:
sternenseemann 2021-01-12 20:47:36 +01:00 committed by Vincent Laporte
parent c685856f91
commit 9212e03c13
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
pkgs/applications/science/logic/acgtk/default.nix
View file

@ -16,7 +16,9 @@ stdenv.mkDerivation {
buildPhase = "dune build";
inherit (dune) installPhase;
installPhase = ''
dune install --prefix $out --libdir $OCAMLFIND_DESTDIR
'';
meta = with lib; {
homepage = "https://acg.loria.fr/";