| Thomas Heijligen | d1e0457 | 2023-11-27 14:28:55 +0000 | [diff] [blame^] | 1 | with import <nixpkgs> { }; |
| 2 | |||||
| 3 | stdenv.mkDerivation rec { | ||||
| 4 | pname = "spark_fs_drivers"; | ||||
| 5 | version = "0.0.0"; | ||||
| 6 | |||||
| 7 | src = ./.; | ||||
| 8 | |||||
| 9 | nativeBuildInputs = [ | ||||
| 10 | gnat | ||||
| 11 | gprbuild | ||||
| 12 | spark2014 | ||||
| 13 | z3 | ||||
| 14 | ]; | ||||
| 15 | |||||
| 16 | gprFile = "default.gpr"; | ||||
| 17 | |||||
| 18 | dontConfigure = true; | ||||
| 19 | |||||
| 20 | buildPhase = '' | ||||
| 21 | runHook preBuild | ||||
| 22 | |||||
| 23 | gprbuild -P ${gprFile} | ||||
| 24 | gnatprove -P ${gprFile} --prover=z3 | ||||
| 25 | |||||
| 26 | runHook postBuild | ||||
| 27 | ''; | ||||
| 28 | |||||
| 29 | installPhase = '' | ||||
| 30 | runHook preInstall | ||||
| 31 | |||||
| 32 | mkdir -p $out/bin | ||||
| 33 | gprinstall --prefix=$out ${gprFile} \ | ||||
| 34 | --no-project \ | ||||
| 35 | --no-manifest \ | ||||
| 36 | --mode=usage | ||||
| 37 | |||||
| 38 | runHook postInstall | ||||
| 39 | ''; | ||||
| 40 | } | ||||