1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
{ fstar-dune , src , stdenv , version , z3 }: stdenv.mkDerivation { pname = "fstar-ulib"; inherit version src; nativeBuildInputs = [ z3 ]; postPatch = '' mkdir -p bin cp ${fstar-dune}/bin/fstar.exe bin patchShebangs ulib/install-ulib.sh cd ulib ''; makeFlags = [ "PREFIX=$(out)" ]; enableParallelBuilding = true; }