From 5239af30618d3c23666cc75078bf269172b6d3df Mon Sep 17 00:00:00 2001
From: Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr>
Date: Tue, 3 Jul 2018 11:34:18 +0200
Subject: Fix timing tools on NixOS.

---
 default.nix | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index d5e7674d4..2bf0409d6 100644
--- a/default.nix
+++ b/default.nix
@@ -40,9 +40,9 @@ stdenv.mkDerivation rec {
   name = "coq";
 
   buildInputs = [
-
-    # Coq dependencies
     hostname
+    python2 time # coq-makefile timing tools
+
   ] ++ (with ocamlPackages; [
     ocaml
     findlib
@@ -67,13 +67,9 @@ stdenv.mkDerivation rec {
     # Test-suite dependencies
     # ncurses is required to build an OCaml REPL
     optional (!versionAtLeast ocaml.version "4.07") ncurses
-    ++ [
-    python2
-    rsync
-    which
-    ocamlPackages.ounit
+    ++ [ ocamlPackages.ounit rsync which ]
 
-  ] else []) ++ (if lib.inNixShell then [
+  else []) ++ (if lib.inNixShell then [
     ocamlPackages.merlin
     ocamlPackages.ocp-indent
     ocamlPackages.ocp-index
-- 
cgit v1.2.3