diff --git a/nix/external-plugins.txt b/nix/external-plugins.txt index 62b9bf97aa0ac96da9835386a8bdb5cae91baf55..2fda981d009cac39f492f96da331f0f3c6b4bc72 100644 --- a/nix/external-plugins.txt +++ b/nix/external-plugins.txt @@ -1,8 +1,10 @@ acsl-importer git@git.frama-c.com:frama-c/acsl-importer.git caveat-importer git@git.frama-c.com:frama-c/caveat-importer.git context-from-precondition git@git.frama-c.com:frama-c/context-from-precondition.git +frama-clang git@git.frama-c.com:frama-c/frama-clang.git genassigns git@git.frama-c.com:frama-c/genassigns.git meta git@git.frama-c.com:frama-c/meta.git +minimal git@git.frama-c.com:frama-c/minimal.git mthread git@git.frama-c.com:frama-c/mthread.git security git@git.frama-c.com:frama-c/security.git volatile git@git.frama-c.com:frama-c/volatile.git diff --git a/nix/internal-tests.nix b/nix/internal-tests.nix index 7fcfc01bc5b2a9ceec939ca09d29e391906d8927..822b36e598e98fe10d5bc5abcc0f1b075677d0b2 100644 --- a/nix/internal-tests.nix +++ b/nix/internal-tests.nix @@ -11,6 +11,12 @@ , writeText # Generic , findlib +# Frama-Clang +, cmake +, camlp5 +, camlp-streams +, gnused +, llvmPackages # Frama-C build , apron , camlzip @@ -68,6 +74,9 @@ stdenvNoCC.mkDerivation rec { src = gitignoreSource ./..; + # Prevent CMake from doing stuff without being asked + dontUseCmakeConfigure=true; + nativeBuildInputs = [ which wrapGAppsHook @@ -75,18 +84,24 @@ stdenvNoCC.mkDerivation rec { buildInputs = [ apron + camlp5 + camlp-streams camlzip camomile clang + cmake dune_3 dune-configurator dune-site findlib fpath gcc9 + gnused graphviz lablgtk3 lablgtk3-sourceview3 + llvmPackages.llvm.dev + llvmPackages.clang-unwrapped.dev ltl2ba menhir menhirLib