diff options
author | Claudius "keldu" Holeksa <mail@keldu.de> | 2024-07-02 19:46:02 +0200 |
---|---|---|
committer | Claudius "keldu" Holeksa <mail@keldu.de> | 2024-07-02 19:46:02 +0200 |
commit | 25e05907f0292310eaae27a032db0ee274413874 (patch) | |
tree | 283de0ebb6b61add2221436a77bb09e2ff101080 /default.nix | |
parent | e51d2b1c0493dfd30d1622c8a0628ecf98c92f1c (diff) |
Preparing benchmark work
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/default.nix b/default.nix index 001125f..f5e33ee 100644 --- a/default.nix +++ b/default.nix @@ -87,6 +87,7 @@ in rec { openmp = pkgs.llvmPackages_15.openmp; build_examples = "false"; + build_benchmarks = "true"; }; tools = pkgs.callPackage modules/tools/.nix/derivation.nix { |