cabal-version: 1.12 -- This file has been generated from package.yaml by hpack version 0.36.0. -- -- see: https://github.com/sol/hpack name: call-alloy version: 0.5.0.1 synopsis: A simple library to call Alloy given a specification description: Please see the README on GitHub at category: Language homepage: https://github.com/marcellussiegburg/call-alloy#readme bug-reports: https://github.com/marcellussiegburg/call-alloy/issues author: Marcellus Siegburg maintainer: marcellus.siegburg@uni-due.de copyright: 2019-2024 Marcellus Siegburg license: MIT license-file: LICENSE build-type: Simple extra-source-files: README.md LICENSE ChangeLog.md test/unit/readmeExampleInstance.hs test/unit/readmeExampleResult.hs test/unit/readmeExampleSpecification.als data-files: alloy/RunAlloy.class alloy/SATSolver.class org.alloytools.alloy.dist.jar commons-cli/commons-cli-1.5.0.jar commons-cli/NOTICE.txt commons-cli/LICENSE.txt slf4j/slf4j-simple-1.7.36.jar slf4j/LICENSE data-dir: data source-repository head type: git location: https://github.com/marcellussiegburg/call-alloy flag test-different-solvers description: During tests different solvers are called to test if they are working on the current system manual: True default: False library exposed-modules: Language.Alloy.Call Language.Alloy.Debug Language.Alloy.Exceptions other-modules: Language.Alloy.Functions Language.Alloy.Internal.Call Language.Alloy.Parser Language.Alloy.RessourceNames Language.Alloy.Ressources Language.Alloy.Types Paths_call_alloy hs-source-dirs: src ghc-options: -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints build-depends: async >=2.2.1 && <2.3 , base >=4.12 && <5 , bytestring >=0.10.4 && <0.13 , containers >=0.6 && <0.8 , directory ==1.3.* , exceptions >=0.8.1 && <0.11 , extra ==1.7.* , filepath ==1.4.* , process ==1.6.* , split ==0.2.* , transformers >=0.5.0.0 && <0.7 , trifecta >=2 && <2.2 default-language: Haskell2010 if os(windows) cpp-options: -DWINDOWS build-depends: Win32 >=2.5 && <2.15 else build-depends: unix >=2.7 && <2.9 test-suite call-alloy-test type: exitcode-stdio-1.0 main-is: Spec.hs other-modules: Language.Alloy.Call Language.Alloy.Debug Language.Alloy.Exceptions Language.Alloy.Functions Language.Alloy.Internal.Call Language.Alloy.Parser Language.Alloy.RessourceNames Language.Alloy.Ressources Language.Alloy.Types Language.Alloy.CallSpec ReadmeExample ReadmeExampleSpec Paths_call_alloy hs-source-dirs: src test ghc-options: -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints -threaded -rtsopts -with-rtsopts=-N build-depends: async >=2.2.1 && <2.3 , base >=4.12 && <5 , bytestring >=0.10.4 && <0.13 , call-alloy , containers >=0.6 && <0.8 , directory ==1.3.* , exceptions >=0.8.1 && <0.11 , extra ==1.7.* , file-embed , filepath ==1.4.* , hspec , process ==1.6.* , split ==0.2.* , string-interpolate , transformers >=0.5.0.0 && <0.7 , trifecta >=2 && <2.2 default-language: Haskell2010 if os(windows) cpp-options: -DWINDOWS build-depends: Win32 >=2.5 && <2.15 else build-depends: unix >=2.7 && <2.9 if flag(test-different-solvers) cpp-options: -DTEST_DIFFERENT_SOLVERS