From a10989caaec4f550faf73654b0fd4b0109f87fb4 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Wed, 5 Sep 2018 11:42:48 +0200
Subject: Changes to default.nix to be able to use Dune.

---
 default.nix | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

diff --git a/default.nix b/default.nix
index d9317bccaf..0ed063a1f4 100644
--- a/default.nix
+++ b/default.nix
@@ -23,8 +23,8 @@
 
 { pkgs ?
     (import (fetchTarball {
-      url = "https://github.com/NixOS/nixpkgs/archive/060a98e9f4ad879492e48d63e887b0b6db26299e.tar.gz";
-      sha256 = "1lzvp3md0hf6kp2bvc6dbzh40navlyd51qlns9wbkz6lqk3lgf6j";
+      url = "https://github.com/NixOS/nixpkgs/archive/4477cf04b6779a537cdb5f0bd3dd30e75aeb4a3b.tar.gz";
+      sha256 = "1i39wsfwkvj9yryj8di3jibpdg3b3j86ych7s9rb6z79k08yaaxc";
     }) {})
 , ocamlPackages ? pkgs.ocaml-ng.ocamlPackages_4_06
 , buildIde ? true
@@ -45,6 +45,7 @@ stdenv.mkDerivation rec {
   buildInputs = [
     hostname
     python2 time # coq-makefile timing tools
+    jbuilder
   ]
   ++ (with ocamlPackages; [ ocaml findlib camlp5_strict num ])
   ++ optional buildIde ocamlPackages.lablgtk
@@ -71,7 +72,7 @@ stdenv.mkDerivation rec {
     else
       with builtins; filterSource
         (path: _:
-           !elem (baseNameOf path) [".git" "result" "bin" "_build_ci"]) ./.;
+           !elem (baseNameOf path) [".git" "result" "bin" "_build" "_build_ci"]) ./.;
 
   prefixKey = "-prefix ";
 
-- 
cgit v1.2.3


From 7b45967164670b0d375d19cb90dfc9ab0813c4d7 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 6 Sep 2018 11:10:07 +0200
Subject: Override Dune derivation to update it before nixpkgs.

As suggested by Vincent.
---
 default.nix | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/default.nix b/default.nix
index 0ed063a1f4..35da15eebd 100644
--- a/default.nix
+++ b/default.nix
@@ -38,6 +38,18 @@
 with pkgs;
 with stdenv.lib;
 
+let dune =
+  overrideDerivation jbuilder (o: {
+    name = "dune-1.1.1";
+    src = fetchFromGitHub {
+      owner = "ocaml";
+      repo = "dune";
+      rev = "1.1.1";
+      sha256 = "0v2pnxpmqsvrvidpwxvbsypzhqfdnjs5crjp9y61qi8nyj8d75zw";
+    };
+  });
+in
+
 stdenv.mkDerivation rec {
 
   name = "coq";
@@ -45,7 +57,7 @@ stdenv.mkDerivation rec {
   buildInputs = [
     hostname
     python2 time # coq-makefile timing tools
-    jbuilder
+    dune
   ]
   ++ (with ocamlPackages; [ ocaml findlib camlp5_strict num ])
   ++ optional buildIde ocamlPackages.lablgtk
-- 
cgit v1.2.3