cabal.project.profile-time

-- Cabal project configuration file for TIME PROFILING
--
-- Use `cabal` with `--project-file=cabal.project.profile-time`
-- or run vehicle via `./scripts/vehicle-profile-time`.

import: cabal.project

profiling: True

package vehicle-syntax
  ghc-options:
    -- Give all bindings automatic SCC annotations.
    -fprof-auto

package vehicle
  ghc-options:
    -- Give all bindings automatic SCC annotations.
    -fprof-auto