summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMarius Bakke <mbakke@fastmail.com>2017-08-07 01:52:31 +0200
committerMarius Bakke <mbakke@fastmail.com>2017-08-07 12:02:33 +0200
commit83fef82b7c0f9b8c57e072281ef9d4518d854350 (patch)
tree598600683af9ba36b330213bca5345fc4627bf4c
parentcda20ee816c05adf5a55d4e70baeed8f441af3de (diff)
downloadpatches-83fef82b7c0f9b8c57e072281ef9d4518d854350.tar
patches-83fef82b7c0f9b8c57e072281ef9d4518d854350.tar.gz
gnu: cubicle: Fix evaluation.
* gnu/packages/maths.scm (cubicle)[native-inputs]: Retrieve WHICH from (gnu packages base).
-rw-r--r--gnu/packages/maths.scm2
1 files changed, 1 insertions, 1 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index e19c8edc82..e204588dd5 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -3212,7 +3212,7 @@ theories} (SMT) solver. It provides a C/C++ API.")
(build-system gnu-build-system)
(native-inputs
`(("ocaml" ,ocaml)
- ("which" ,which)))
+ ("which" ,(@@ (gnu packages base) which))))
(propagated-inputs
`(("z3" ,z3)))
(arguments