diff options
| author | Marvin Borner | 2025-01-12 00:18:22 +0100 |
|---|---|---|
| committer | Marvin Borner | 2025-01-12 00:18:22 +0100 |
| commit | 8ddea6d934c56602efd6032cb1a6ab7b874c42fd (patch) | |
| tree | 259168ba9e84498a2ace3f8d1f5ce75871a59c1b | |
| parent | 4bcaf6166db6af4efe376427092f95e9751f1828 (diff) | |
Disabled LLVM flag
| -rw-r--r-- | .github/workflows/ci.yml | 4 | ||||
| -rw-r--r-- | bruijn.cabal | 4 | ||||
| -rw-r--r-- | package.yaml | 2 |
3 files changed, 4 insertions, 6 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index ef6961c..21b97b5 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -13,9 +13,9 @@ jobs: runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 - - name: Install dependencies - run: sudo apt-get install hyperfine llvm-15 - uses: freckle/stack-action@v5 + - name: Install hyperfine + run: sudo apt-get install hyperfine - name: Install bruijn run: stack install - name: Run HigherOrder tests and measure time diff --git a/bruijn.cabal b/bruijn.cabal index 97d1a7a..fadad90 100644 --- a/bruijn.cabal +++ b/bruijn.cabal @@ -91,7 +91,7 @@ library src default-extensions: LambdaCase - ghc-options: -O3 -optc-O3 -fllvm -funfolding-use-threshold=16 -Wall -Wextra -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints + ghc-options: -O3 -optc-O3 -funfolding-use-threshold=16 -Wall -Wextra -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints build-depends: array , base >=4.7 && <5 @@ -120,7 +120,7 @@ executable bruijn app default-extensions: LambdaCase - ghc-options: -O3 -optc-O3 -fllvm -threaded -rtsopts -with-rtsopts=-N + ghc-options: -O3 -optc-O3 -threaded -rtsopts -with-rtsopts=-N build-depends: array , base >=4.7 && <5 diff --git a/package.yaml b/package.yaml index b7c2fc3..0bb8071 100644 --- a/package.yaml +++ b/package.yaml @@ -50,7 +50,6 @@ library: ghc-options: - -O3 - -optc-O3 - - -fllvm - -funfolding-use-threshold=16 - -Wall - -Wextra @@ -66,7 +65,6 @@ executables: ghc-options: - -O3 - -optc-O3 - - -fllvm - -threaded - -rtsopts - -with-rtsopts=-N |