Commit ee5572b9 authored by Hans-Peter Deifel's avatar Hans-Peter Deifel 🐢
Browse files

Disable build of benchmark generators by default

This speeds up the build process of the main copar executable and doesn't
require as much dependencies.

As more and more benchmark suite generators are created, results published and
the tools forgotten, this creates an unnecessary burden on the everyday compile
parent ed07b828
......@@ -19,6 +19,10 @@ flag release
description: Disable sanity checks for more speed and less safety
default: False
flag benchmark-generators
description: Build executables used to generated/convert various benchmark suites
default: False
hs-source-dirs: src
exposed-modules: Data.MorphismEncoding
......@@ -260,6 +264,8 @@ executable prism-converter
, microlens
, microlens-th
, microlens-platform
if !flag(benchmark-generators)
buildable: False
executable random-dfa
hs-source-dirs: src/random-dfa
......@@ -282,6 +288,8 @@ executable random-dfa
, random
, text
, optparse-applicative
if !flag(benchmark-generators)
buildable: False
executable random-wta
hs-source-dirs: src/random-wta
......@@ -311,6 +319,8 @@ executable random-wta
, prettyprinter-ansi-terminal >=
, prettyprinter-convert-ansi-wl-pprint
ghc-options: -Wall -Wno-name-shadowing
if !flag(benchmark-generators)
buildable: False
test-suite random-wta-tests
type: exitcode-stdio-1.0
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment