mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-20 00:41:05 +03:00
add a check to whenever menhirLib exists
If it does, it add menhirLib as a dependency. Else, ignore it.
This commit is contained in:
parent
d65bf985d9
commit
e09db29aa4
27
default.nix
27
default.nix
@ -1,6 +1,25 @@
|
||||
{ lib, fetchFromGitHub, buildDunePackage, ansiterminal, sedlex_2, menhir
|
||||
, menhirLib, unionfind, bindlib, cmdliner, re, zarith, zarith_stubs_js, ocamlgraph
|
||||
, calendar, visitors, benchmark, js_of_ocaml, js_of_ocaml-ppx, camomile, cppo }:
|
||||
{ lib
|
||||
, fetchFromGitHub
|
||||
, buildDunePackage
|
||||
, ansiterminal
|
||||
, sedlex_2
|
||||
, menhir
|
||||
, unionfind
|
||||
, bindlib
|
||||
, cmdliner
|
||||
, re
|
||||
, zarith
|
||||
, zarith_stubs_js
|
||||
, ocamlgraph
|
||||
, calendar
|
||||
, visitors
|
||||
, benchmark
|
||||
, js_of_ocaml
|
||||
, js_of_ocaml-ppx
|
||||
, camomile
|
||||
, cppo
|
||||
, menhirLib ? null #for nixos-unstable compatibility.
|
||||
}:
|
||||
|
||||
buildDunePackage rec {
|
||||
pname = "catala";
|
||||
@ -32,7 +51,7 @@ buildDunePackage rec {
|
||||
|
||||
unionfind
|
||||
bindlib
|
||||
];
|
||||
] ++ (if isNull menhirLib then [ ] else [ menhirLib ]);
|
||||
doCheck = true;
|
||||
|
||||
patches = [ ./.nix/no-web.patch ];
|
||||
|
Loading…
Reference in New Issue
Block a user