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: edee24fd0c26174211bf0f36205df0d361d3a2d6d55987259a09e4b4a80bd62d
name: souffle-haskell
version: 0.2.3
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
test-suite souffle-haskell-test
type: exitcode-stdio-1.0
main-is: test.hs
other-modules:
Test.Language.Souffle.CompiledSpec
Test.Language.Souffle.InterpretedSpec
Test.Language.Souffle.MarshalSpec
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-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