36 lines
861 B
Nix
36 lines
861 B
Nix
with import (builtins.fetchTarball {
|
|
url = https://github.com/nixos/nixpkgs/archive/1085c056376041af71e8f1cf72c1ed4a4db01dc6.tar.gz;
|
|
sha256 = "17sh68825jhjfpn1q02ni8xifrgaszz494irx096f0mmi2k2lkqp";
|
|
}) {};
|
|
|
|
stdenv.mkDerivation rec {
|
|
name = "PolyGen";
|
|
doCheck = true;
|
|
src = nix-gitignore.gitignoreSource [] ./.;
|
|
buildInputs = (with pkgs.ocaml-ng.ocamlPackages_4_07; [
|
|
ocaml
|
|
findlib
|
|
menhir
|
|
zarith
|
|
glpk
|
|
]) ++ [ coq_8_7 coq2html ];
|
|
buildPhase = ''
|
|
make vplsetup
|
|
make
|
|
make extract
|
|
make ocaml
|
|
make documentation
|
|
'';
|
|
checkPhase = ''
|
|
ocaml/test
|
|
'';
|
|
installPhase = ''
|
|
mkdir -p "$out/bin"
|
|
mkdir -p "$out/doc"
|
|
cp ocaml/test "$out/bin/test"
|
|
cp doc/index.html "$out/doc/index.html"
|
|
cp -r doc/html "$out/doc/html"
|
|
'';
|
|
forceShare = [ "man" "info" ]; # Do not move doc/ to share/doc/
|
|
}
|