sawjap: make build src name independent

(cherry picked from commit a78ad036e27a34fa99c4a6600572c3c50ad0d01f)
This commit is contained in:
Jonathan Ringer 2022-01-03 21:02:39 -08:00 committed by Vincent Laporte
parent 772541b258
commit 0bcbf67220

View File

@ -8,7 +8,7 @@ stdenv.mkDerivation {
inherit (sawja) src version;
sourceRoot = "source/test";
prePatch = "cd test";
buildInputs = [ ocaml findlib sawja ];