treewide: move to ocaml-ng system

2016-09-26 02:36:49 +03:00
parent 8967a3f798
commit e61663a233
21 changed files with 804 additions and 762 deletions
@@ -1,7 +1,10 @@
-{ stdenv, fetchurl, coq, ocamlPackages
+{ stdenv, lib, fetchurl
+, coq, ocaml, findlib, menhir, zarith
 , tools ? stdenv.cc
 }:

+assert lib.versionAtLeast ocaml.version "4.02";
+
 stdenv.mkDerivation rec {
  name = "verasco-1.3";
  src = fetchurl {
@@ -9,7 +12,7 @@ stdenv.mkDerivation rec {
    sha256 = "0zvljrpwnv443k939zlw1f7ijwx18nhnpr8jl3f01jc5v66hr2k8";
  };

-  buildInputs = [ coq ] ++ (with ocamlPackages; [ ocaml findlib menhir zarith ]);
+  buildInputs = [ coq ocaml findlib menhir zarith ];

  preConfigure = ''
    substituteInPlace ./configure --replace '{toolprefix}gcc' '{toolprefix}cc'