souffle-dsl-0.1.0: souffle-dsl.cabal

cabal-version: 2.2

-- This file has been generated from package.yaml by hpack version 0.34.2.
--
-- see: https://github.com/sol/hpack

name:           souffle-dsl
version:        0.1.0
synopsis:       Haskell EDSL for Souffle
description:    Haskell EDSL for Souffle.
category:       Logic Programming, DSL
homepage:       https://github.com/luc-tielen/souffle-dsl#README.md
bug-reports:    https://github.com/luc-tielen/souffle-dsl/issues
author:         Luc Tielen
maintainer:     luc.tielen@gmail.com
copyright:      2021 Luc Tielen
license:        MIT
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    CHANGELOG.md
    LICENSE

source-repository head
  type: git
  location: https://github.com/luc-tielen/souffle-dsl

library
  exposed-modules:
      Language.Souffle.DSL
  other-modules:
      Paths_souffle_dsl
  autogen-modules:
      Paths_souffle_dsl
  hs-source-dirs:
      lib
  default-extensions: OverloadedStrings LambdaCase ScopedTypeVariables
  ghc-options: -Wall -Weverything -Wno-safe -Wno-unsafe -Wno-implicit-prelude -Wno-missed-specializations -Wno-all-missed-specializations -Wno-missing-import-lists -Wno-type-defaults -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-missing-deriving-strategies -Wno-prepositive-qualified-module -Wno-missing-safe-haskell-mode -optP-Wno-nonportable-include-path -fhide-source-paths -fno-show-valid-hole-fits -fno-sort-valid-hole-fits
  cxx-options: -std=c++17 -Wall
  build-depends:
      base >=4.12 && <5
    , containers >=0.6.2.1 && <1
    , directory >=1.3.6.0 && <2
    , filepath >=1.4.2.1 && <2
    , mtl >=2.0 && <3
    , process >=1.6.9.0 && <2
    , souffle-haskell >=2.1.0 && <3
    , template-haskell >=2 && <3
    , temporary >=1.3 && <2
    , text >=1.2.4.0 && <2
    , type-errors-pretty >=0.0.1.0 && <1
  if os(linux)
    extra-libraries:
        stdc++
  default-language: Haskell2010

test-suite souffle-dsl-test
  type: exitcode-stdio-1.0
  main-is: test.hs
  other-modules:
      Test.Language.Souffle.DSL.Fixtures
      Test.Language.Souffle.DSL.FixturesCompiled
      Test.Language.Souffle.DSLSpec
      Paths_souffle_dsl
  hs-source-dirs:
      tests
  default-extensions: OverloadedStrings LambdaCase ScopedTypeVariables
  ghc-options: -Wall -Weverything -Wno-safe -Wno-unsafe -Wno-implicit-prelude -Wno-missed-specializations -Wno-all-missed-specializations -Wno-missing-import-lists -Wno-type-defaults -Wno-missing-local-signatures -Wno-monomorphism-restriction -Wno-missing-deriving-strategies -Wno-prepositive-qualified-module -Wno-missing-safe-haskell-mode -optP-Wno-nonportable-include-path -fhide-source-paths -fno-show-valid-hole-fits -fno-sort-valid-hole-fits
  cxx-options: -std=c++17 -D__EMBEDDED_SOUFFLE__
  cxx-sources:
      tests/fixtures/path.cpp
  build-depends:
      base >=4.12 && <5
    , containers >=0.6.2.1 && <1
    , directory >=1.3.6.0 && <2
    , filepath >=1.4.2.1 && <2
    , hedgehog ==1.*
    , hspec >=2.6.1 && <3.0.0
    , hspec-hedgehog ==0.*
    , mtl >=2.0 && <3
    , neat-interpolation ==0.*
    , process >=1.6.9.0 && <2
    , souffle-dsl
    , souffle-haskell
    , template-haskell >=2 && <3
    , temporary >=1.3 && <2
    , text >=1.2.4.0 && <2
    , type-errors-pretty >=0.0.1.0 && <1
  if os(darwin)
    extra-libraries:
        c++
  default-language: Haskell2010