pkgs/development/coq-modules/Velisarios/default.nix

   1 { lib, mkCoqDerivation, coq, version ? null }:
   2
   3 mkCoqDerivation {
   4   pname = "Velisarios";
   5   owner = "vrahli";
   6   inherit version;
   7   defaultVersion = if lib.versions.range "8.6" "8.8" coq.coq-version then "20180221" else null;
   8
   9   release."20180221".rev    = "e1eee1f10d5d46331a560bd8565ac101229d0d6b";
  10   release."20180221".sha256 = "0l9885nxy0n955fj1gnijlxl55lyxiv9yjfmz8hmfrn9hl8vv1m2";
  11   mlPlugin = true;
  12
  13   buildPhase = "make -j$NIX_BUILD_CORES";
  14   preBuild = "./create-makefile.sh";
  15   installPhase = ''
  16     mkdir -p $out/lib/coq/${coq.coq-version}/Velisarios
  17     cp -pR model/*.vo $out/lib/coq/${coq.coq-version}/Velisarios
  18   '';
  19 }