diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-02 08:40:42 +0000 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-12-02 08:40:42 +0000 |
| commit | 1ada9f82837593d5eae3a9687d0d4667855f3eb9 (patch) | |
| tree | 60b7c3c84fafadd19de59f3dc94a682d8f176199 /pkgs/development/coq-modules | |
| parent | e36cb93283be1c35bd77b82b1c21230dc1b8e8c6 (diff) | |
| download | nixlib-1ada9f82837593d5eae3a9687d0d4667855f3eb9.tar nixlib-1ada9f82837593d5eae3a9687d0d4667855f3eb9.tar.gz nixlib-1ada9f82837593d5eae3a9687d0d4667855f3eb9.tar.bz2 nixlib-1ada9f82837593d5eae3a9687d0d4667855f3eb9.tar.lz nixlib-1ada9f82837593d5eae3a9687d0d4667855f3eb9.tar.xz nixlib-1ada9f82837593d5eae3a9687d0d4667855f3eb9.tar.zst nixlib-1ada9f82837593d5eae3a9687d0d4667855f3eb9.zip | |
coqPackages_8_4.bedrock: remove
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/bedrock/default.nix | 39 |
1 files changed, 0 insertions, 39 deletions
diff --git a/pkgs/development/coq-modules/bedrock/default.nix b/pkgs/development/coq-modules/bedrock/default.nix deleted file mode 100644 index fc3c16d00492..000000000000 --- a/pkgs/development/coq-modules/bedrock/default.nix +++ /dev/null @@ -1,39 +0,0 @@ -{stdenv, fetchurl, coq}: - -stdenv.mkDerivation rec { - - name = "coq-bedrock-${coq.coq-version}-${version}"; - version = "20140722"; - - src = fetchurl { - url = "http://plv.csail.mit.edu/bedrock/bedrock-${version}.tgz"; - sha256 = "0aaa98q42rsy9hpsxji21bqznizfvf6fplsw6jq42h06j0049k80"; - }; - - buildInputs = [ coq.ocaml coq.camlp5 ]; - propagatedBuildInputs = [ coq ]; - - enableParallelBuilding = true; - - buildPhase = '' - make -j$NIX_BUILD_CORES -C src/reification - make -j$NIX_BUILD_CORES -C src - make -j$NIX_BUILD_CORES -C src native - # make -j$NIX_BUILD_CORES -C platform - # make -j$NIX_BUILD_CORES -C platform -f Makefile.cito - ''; - - installPhase = '' - COQLIB=$out/lib/coq/${coq.coq-version}/ - mkdir -p $COQLIB/user-contrib/Bedrock - cp -pR src/* $COQLIB/user-contrib/Bedrock - ''; - - meta = with stdenv.lib; { - homepage = http://plv.csail.mit.edu/bedrock/; - description = "A library that turns Coq into a tool much like classical verification systems"; - maintainers = with maintainers; [ jwiegley ]; - platforms = coq.meta.platforms; - }; - -} |