cabal.project: Use profiling-detail field (#2402)

ttuegel · MirceaS · web-flow · commit 341435377f06 · 2021-02-17T20:05:31.000-06:00
Co-authored-by: Octavian Mircea Sebe &lt;mirceasebe@yahoo.com&gt;
diff --git a/cabal.project b/cabal.project
@@ -6,11 +6,11 @@ allow-newer:
 
 package *
   ghc-options: -fhide-source-paths
-  ghc-options: -fno-prof-auto
+  profiling-detail: none
 
 package kore
   ghc-options: -Wall -Werror
-  ghc-options: -fprof-auto-top
+  profiling-detail: toplevel-functions
 
 source-repository-package
   type: git
