cabal-version: 2.2

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

name:           souffle-haskell
version:        0.2.1
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:      2020 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.Class
      Language.Souffle.Compiled
      Language.Souffle.Internal
      Language.Souffle.Internal.Bindings
      Language.Souffle.Internal.Constraints
      Language.Souffle.Interpreted
      Language.Souffle.Marshal
      Language.Souffle.TH
  other-modules:
      Paths_souffle_haskell
  autogen-modules:
      Paths_souffle_haskell
  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 -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
    , deepseq >=1.4.4 && <2
    , directory >=1.3.3 && <2
    , filepath >=1.4.2 && <2
    , mtl >=2.0 && <3
    , process >=1.6 && <2
    , template-haskell >=2 && <3
    , temporary >=1.3 && <2
    , text >=1.0 && <2
    , type-errors-pretty >=0.0.1.0 && <1
    , vector <=1.0
  if os(linux)
    extra-libraries:
        stdc++
  default-language: Haskell2010
  build-tools:
      souffle

test-suite souffle-haskell-test
  type: exitcode-stdio-1.0
  main-is: test.hs
  other-modules:
      Test.Language.Souffle.CompiledSpec
      Test.Language.Souffle.InterpretedSpec
      Paths_souffle_haskell
  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 -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__
  build-tools:
      souffle
  build-depends:
      base >=4.12 && <5
    , deepseq >=1.4.4 && <2
    , directory >=1.3.3 && <2
    , filepath >=1.4.2 && <2
    , hspec >=2.6.1 && <3.0.0
    , mtl >=2.0 && <3
    , process >=1.6 && <2
    , souffle-haskell
    , template-haskell >=2 && <3
    , temporary >=1.3 && <2
    , text >=1.0 && <2
    , type-errors-pretty >=0.0.1.0 && <1
    , vector <=1.0
  if os(darwin)
    extra-libraries:
        c++
  default-language: Haskell2010