From 1ada9f82837593d5eae3a9687d0d4667855f3eb9 Mon Sep 17 00:00:00 2001
From: Vincent Laporte <Vincent.Laporte@gmail.com>
Date: Sat, 2 Dec 2017 08:40:42 +0000
Subject: [PATCH] coqPackages_8_4.bedrock: remove

---
 .../coq-modules/bedrock/default.nix           | 39 -------------------
 pkgs/top-level/all-packages.nix               |  1 -
 2 files changed, 40 deletions(-)
 delete mode 100644 pkgs/development/coq-modules/bedrock/default.nix

diff --git a/pkgs/development/coq-modules/bedrock/default.nix b/pkgs/development/coq-modules/bedrock/default.nix
deleted file mode 100644
index fc3c16d0049..00000000000
--- 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;
-  };
-
-}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index cda3d84fbac..558eaf40345 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -18806,7 +18806,6 @@ with pkgs;
       in
         recurseIntoAttrs contribs;
 
-    bedrock = callPackage ../development/coq-modules/bedrock {};
     coqExtLib = callPackage ../development/coq-modules/coq-ext-lib {};
     coqeal = callPackage ../development/coq-modules/coqeal {};
     coquelicot = callPackage ../development/coq-modules/coquelicot {};