@hackage uuagc0.9.57
Attribute Grammar System of Universiteit Utrecht
Installation
CustomTested Compilers
Dependencies (13)
- aeson >=1.4.7.1
- array >=0.3.0.1
- base >=4
- bytestring >=0.9.2.1
- containers >=0.3
- directory >=1.0.1.1 Show all…
Dependents (11)
@hackage/asil, @hackage/lol-typing, @hackage/acme-everything, @hackage/ruler, @hackage/uu-cco-examples, @hackage/glualint, Show all…
Package Flags
bootstrap_external
(off by default)
Use an external uuagc executable for bootstrapping
with-loag
(off by default)
Use MiniSat as external SAT-solver to schedule all Linear Ordered AGs
To install UUAG, use cabal in combination with Setup.hs
By default, "cabal install" will install UUAGC from the included Haskell sources. To build from the AG sources using an existing uuagc installation, use:
cabal install --ghc-options="-DEXTERNAL_UUAGC"
Note: to produce a source release, you'll need to use the Setup.hs because cabal-install at the time is not able to do this in combination with the cabal plugin: