# for GHC-9.12.4
resolver: nightly-2026-11-11

flags:
  # The test suites that need the models in the repositories (and Alloy for claferIG).
  clafer:
    model-tests: true
  claferIG:
    model-tests: true

packages:
- '../clafer'
- '.'

# GHC compiles the modules of a package on 8 threads, which takes a third less time than one
# thread; 16 threads are not faster.
# (build: semaphore: true, GHC's -jsem, fails with Stack 3.11.1: "semOpen: does not exist".)
ghc-options:
  "$everything": -j8