| commit | 3ec689d9c900e988018a992f5e84d8aa06190bb0 | [log] [tgz] |
|---|---|---|
| author | Thomas Heijligen <src@posteo.de> | Mon Dec 04 13:57:24 2023 +0000 |
| committer | Thomas Heijligen <src@posteo.de> | Mon Dec 04 13:58:43 2023 +0000 |
| tree | 1676775ad71071ac7ab26465c627fa7e2debb4da | |
| parent | 691220d9ce83aeaa104bd144f7e31ef6f94e5ba9 [diff] |
nix: add -U option to gnatprove Signed-off-by: Thomas Heijligen <src@posteo.de>
diff --git a/default.nix b/default.nix index 0ce641b..d7a6d66 100644 --- a/default.nix +++ b/default.nix
@@ -22,7 +22,7 @@ runHook preBuild gprbuild -P ${gprFile} - gnatprove -P ${gprFile} --prover=z3 + gnatprove -P ${gprFile} -U --prover=z3 runHook postBuild '';