Use cabal project import mechanism

LaurentRDC · Jan 12, 2024 · 593413e · 593413e
1 parent a709c54
commit 593413e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 11 deletions.
diff --git a/cabal.project.benchmarking b/cabal.project.benchmarking
@@ -1,5 +1,4 @@
-packages: **/*.cabal
-benchmarks: true
+import: cabal.project
 
 -- Optimization level for the package itself
 optimization: 2

diff --git a/cabal.project.profiling b/cabal.project.profiling
@@ -1,13 +1,6 @@
-packages: **/*.cabal
-test-show-details: streaming
+import: cabal.project.benchmarking
 
 -- Optimization level for the package itself
 profiling: True
 library-profiling: True
-executable-profiling: True
-optimization: 2
-
--- Required to optimize all dependencies as well
-package *
-    optimization: 2
-    documentation: false
+executable-profiling: True