From fae34bc07e26d51462a93ae879e67d60dbdd2254 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Tue, 20 Apr 2021 15:50:59 +0200
Subject: [PATCH] [nix] update to opam2nix v1 config
---
nix/default.nix | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/nix/default.nix b/nix/default.nix
index 652b5136..79447fb0 100644
--- a/nix/default.nix
+++ b/nix/default.nix
@@ -16,7 +16,7 @@ let frama_clang_build =
{ inherit pkgs stdenv src opam2nix ocaml_version plugins plugin_extend;
name = "frama-clang-on-llvm-" + llvm_version;
deps = [ llvm_package.clang-unwrapped llvm pkgs.gnused ];
- opamPackages = [ { name = "camlp5"; constraint="=7.14";} ];
+ opamPackages = [ "camlp5=7.14" ];
preFramaCTests = ''
echo CONFIGURING Why3 for Frama_Clang.
export HOME=$(mktemp -d)
--
GitLab