buildDunePackage: add a “useDune2” option

2020-03-23 09:12:50 +01:00
parent 3c4c703368
commit 0229936bbe
8 changed files with 25 additions and 15 deletions
@@ -1,10 +1,12 @@
-{ stdenv, buildDune2Package, fetchFromGitHub, ppx_deriving
+{ stdenv, buildDunePackage, fetchFromGitHub, ppx_deriving
 , alcotest, biocaml, gnuplot, lacaml, menhir, owl }:

-buildDune2Package rec {
+buildDunePackage rec {
  pname = "phylogenetics";
  version = "unstable-2019-11-15";

+  useDune2 = true;
+
  src = fetchFromGitHub {
    owner  = "biocaml";
    repo   = pname;