souffle-haskell-0.1.0: souffle-haskell.cabal

cabal-version: 2.2

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

name:           souffle-haskell
version:        0.1.0
synopsis:       Souffle Datalog bindings for Haskell
description:    Souffle Datalog bindings for Haskell.
category:       Logic Programming, Foreign Binding, Bindings
homepage:       https://github.com/luc-tielen/souffle-haskell#README.md
bug-reports:    https://github.com/luc-tielen/souffle-haskell/issues
author:         Luc Tielen
maintainer:     luc.tielen@gmail.com
copyright:      2019 Luc Tielen
license:        MIT
license-file:   LICENSE
build-type:     Simple
extra-source-files:
    README.md
    CHANGELOG.md
    LICENSE
    cbits/souffle.h

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

library
  exposed-modules:
      Language.Souffle
      Language.Souffle.Internal
      Language.Souffle.Internal.Bindings
      Language.Souffle.Internal.Constraints
      Language.Souffle.Marshal
      Language.Souffle.TH
  other-modules:
      Paths_souffle_haskell
  autogen-modules:
      Paths_souffle_haskell
  hs-source-dirs:
      lib
  default-extensions: OverloadedStrings
  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 -optP-Wno-nonportable-include-path -fhide-source-paths -fno-show-valid-hole-fits -fno-sort-valid-hole-fits
  cpp-options: -std=c++17
  cxx-options: -Wall
  cxx-sources:
      cbits/souffle.cpp
  build-depends:
      base >=4.12 && <5
    , mtl >=2.0 && <3
    , template-haskell >=2 && <3
    , text >=1.0 && <2
    , type-errors-pretty >=0.0.1.0 && <1
    , vector <=1.0
  default-language: Haskell2010
  build-tools:
      souffle

test-suite souffle-haskell-test
  type: exitcode-stdio-1.0
  main-is: test.hs
  other-modules:
      Test.TestSuiteSpec
      Paths_souffle_haskell
  hs-source-dirs:
      tests
  default-extensions: OverloadedStrings
  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 -optP-Wno-nonportable-include-path -fhide-source-paths -fno-show-valid-hole-fits -fno-sort-valid-hole-fits
  cpp-options: -std=c++17 -D__EMBEDDED_SOUFFLE__
  extra-libraries:
      c++
  build-tools:
      souffle
  build-depends:
      base >=4.12 && <5
    , hspec >=2.6.1 && <3.0.0
    , mtl >=2.0 && <3
    , souffle-haskell
    , template-haskell >=2 && <3
    , text >=1.0 && <2
    , type-errors-pretty >=0.0.1.0 && <1
    , vector <=1.0
  default-language: Haskell2010