-
Notifications
You must be signed in to change notification settings - Fork 1
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #583 from bittide/lucas/add-gild
- Loading branch information
Showing
21 changed files
with
682 additions
and
379 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,9 @@ | ||
| #!/usr/bin/env bash | ||
| # SPDX-FileCopyrightText: 2024 Google LLC | ||
| # | ||
| # SPDX-License-Identifier: Apache-2.0 | ||
| set -euf -o pipefail | ||
|
|
||
| git ls-files *.cabal cabal.project \ | ||
| | grep --extended-regexp --invert-match '^clash-vexriscv/' \ | ||
| | xargs --max-procs=0 -I {} cabal-gild -i "{}" -o "{}" |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -1,16 +1,22 @@ | ||
| cabal-version: 2.4 | ||
| name: bittide-experiments | ||
| synopsis: Infrastructure and configurations needed for running | ||
| experiments with the Bittide systems under development | ||
| version: 0.1 | ||
| License: Apache-2.0 | ||
| license-file: LICENSE | ||
| author: QBayLogic B.V. | ||
| maintainer: [email protected] | ||
| Copyright: Copyright © 2024 Google LLC | ||
| cabal-version: 2.4 | ||
| name: bittide-experiments | ||
| synopsis: | ||
| Infrastructure and configurations needed for running | ||
| experiments with the Bittide systems under development | ||
|
|
||
| version: 0.1 | ||
| license: Apache-2.0 | ||
| license-file: LICENSE | ||
| author: QBayLogic B.V. | ||
| maintainer: [email protected] | ||
| copyright: Copyright © 2024 Google LLC | ||
|
|
||
| common common-options | ||
| default-extensions: | ||
| -- TemplateHaskell is used to support convenience functions such as | ||
| -- 'listToVecTH' and 'bLit'. | ||
| -- | ||
| -- `NoImplicitPrelude` is used because Clash offers Clash.Prelude | ||
| BangPatterns | ||
| BinaryLiterals | ||
| ConstraintKinds | ||
|
|
@@ -28,49 +34,48 @@ common common-options | |
| InstanceSigs | ||
| KindSignatures | ||
| LambdaCase | ||
| NoImplicitPrelude | ||
| NoStarIsType | ||
| PolyKinds | ||
| QuasiQuotes | ||
| RankNTypes | ||
| ScopedTypeVariables | ||
| StandaloneDeriving | ||
| TemplateHaskell | ||
| TupleSections | ||
| TypeApplications | ||
| TypeFamilies | ||
| TypeOperators | ||
| ViewPatterns | ||
|
|
||
| -- TemplateHaskell is used to support convenience functions such as | ||
| -- 'listToVecTH' and 'bLit'. | ||
| TemplateHaskell | ||
| QuasiQuotes | ||
|
|
||
| -- Prelude isn't imported by default as Clash offers Clash.Prelude | ||
| NoImplicitPrelude | ||
| ghc-options: | ||
| -Wall -Wcompat | ||
| -haddock | ||
|
|
||
| -- Plugins to support type-level constraint solving on naturals | ||
| -fplugin GHC.TypeLits.Extra.Solver | ||
| -fplugin GHC.TypeLits.Normalise | ||
| -fplugin GHC.TypeLits.KnownNat.Solver | ||
|
|
||
| -- Clash needs access to the source code in compiled modules | ||
| -fexpose-all-unfoldings | ||
|
|
||
| -- Plugins to support type-level constraint solving on naturals: | ||
| -- - GHC.TypeLits.Extra.Solver | ||
| -- - GHC.TypeLits.Normalise | ||
| -- - GHC.TypeLits.KnownNat.Solver | ||
| -- Clash needs access to the source code in compiled modules: | ||
| -- -fexpose-all-unfoldings | ||
| -- Worker wrappers introduce unstable names for functions that might have | ||
| -- blackboxes attached for them. You can disable this, but be sure to add | ||
| -- a no-specialize pragma to every function with a blackbox. | ||
| -- -fno-worker-wrapper | ||
| -Wall | ||
| -Wcompat | ||
| -haddock | ||
| -fplugin=GHC.TypeLits.Extra.Solver | ||
| -fplugin=GHC.TypeLits.Normalise | ||
| -fplugin=GHC.TypeLits.KnownNat.Solver | ||
| -fexpose-all-unfoldings | ||
| -fno-worker-wrapper | ||
| build-depends: | ||
| base, | ||
| Cabal, | ||
|
|
||
| build-depends: | ||
| -- clash-prelude will set suitable version bounds for the plugins | ||
| clash-prelude >= 1.7.0 && < 1.10, | ||
| ghc-typelits-natnormalise, | ||
| Cabal, | ||
| base, | ||
| clash-prelude >=1.7.0 && <1.10, | ||
| ghc-typelits-extra, | ||
| ghc-typelits-knownnat | ||
| ghc-typelits-knownnat, | ||
| ghc-typelits-natnormalise, | ||
|
|
||
| library | ||
| import: common-options | ||
|
|
@@ -98,7 +103,8 @@ library | |
| temporary, | ||
| text, | ||
| typelits-witnesses, | ||
| vector | ||
| vector, | ||
|
|
||
| exposed-modules: | ||
| Bittide.Github.Artifacts | ||
| Bittide.Hitl | ||
|
|
@@ -111,35 +117,47 @@ library | |
| Bittide.Simulate.Topology | ||
| Bittide.Simulate.TunableClockGen | ||
| Bittide.Topology | ||
|
|
||
| default-language: Haskell2010 | ||
|
|
||
| test-suite unittests | ||
| import: common-options | ||
| type: exitcode-stdio-1.0 | ||
| main-is: unittests.hs | ||
| ghc-options: -Wall -Wcompat -threaded | ||
| -rtsopts "-with-rtsopts=-N" | ||
| import: common-options | ||
| type: exitcode-stdio-1.0 | ||
| main-is: unittests.hs | ||
| ghc-options: | ||
| -Wall | ||
| -Wcompat | ||
| -threaded | ||
| -rtsopts | ||
| -with-rtsopts=-N | ||
|
|
||
| default-language: Haskell2010 | ||
| hs-source-dirs: tests | ||
| hs-source-dirs: tests | ||
| other-modules: | ||
| Tests.Bittide.Simulate | ||
|
|
||
| build-depends: | ||
| base | ||
| , bittide | ||
| , bittide-experiments | ||
| , clash-prelude | ||
| , tasty | ||
| , tasty-hedgehog | ||
| , tasty-hunit | ||
| base, | ||
| bittide, | ||
| bittide-experiments, | ||
| clash-prelude, | ||
| tasty, | ||
| tasty-hedgehog, | ||
| tasty-hunit, | ||
|
|
||
| test-suite doctests | ||
| type: exitcode-stdio-1.0 | ||
| hs-source-dirs: tests | ||
| main-is: doctests.hs | ||
| ghc-options: -threaded | ||
| ghc-options: -Wall -Wcompat -threaded | ||
| type: exitcode-stdio-1.0 | ||
| hs-source-dirs: tests | ||
| main-is: doctests.hs | ||
| ghc-options: -threaded | ||
| ghc-options: | ||
| -Wall | ||
| -Wcompat | ||
| -threaded | ||
|
|
||
| build-depends: | ||
| base, | ||
| bittide-experiments, | ||
| doctest-parallel >= 0.3.0.1 && < 0.4, | ||
| doctest-parallel >=0.3.0.1 && <0.4, | ||
|
|
||
| default-language: Haskell2010 | ||
Oops, something went wrong.