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

alt-ergo: fix version string

Browse source
This commit is contained in:
Vincent Laporte 2022-12-02 15:09:55 +01:00 committed by Bjørn Forsman
parent 39a1b8ebca
commit 188b935b6d
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
pkgs/applications/science/logic/alt-ergo/default.nix
View file

@ -21,6 +21,9 @@ let alt-ergo-lib = ocamlPackages.buildDunePackage rec {
nativeBuildInputs = [ which ];
buildInputs = with ocamlPackages; [ dune-configurator ];
propagatedBuildInputs = with ocamlPackages; [ num ocplib-simplex seq stdlib-shims zarith ];
preBuild = ''
substituteInPlace src/lib/util/version.ml --replace 'version="dev"' 'version="${version}"'
'';
}; in
let alt-ergo-parsers = ocamlPackages.buildDunePackage rec {