From 7e014333c57bdede663e490743bc84f696764381 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Fri, 14 Sep 2018 14:27:39 +0000
Subject: Helpers for debugging external projects from CI

---
 dev/ci/nix/math_classes.nix | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 dev/ci/nix/math_classes.nix

(limited to 'dev/ci/nix/math_classes.nix')

diff --git a/dev/ci/nix/math_classes.nix b/dev/ci/nix/math_classes.nix
new file mode 100644
index 0000000000..b0fa2fe795
--- /dev/null
+++ b/dev/ci/nix/math_classes.nix
@@ -0,0 +1,6 @@
+{ bignums }:
+
+{
+  buildInputs = [ bignums ];
+  configure = "./configure.sh";
+}
-- 
cgit v1.2.3