diff --git a/swish/0.10.0.0/swish.cabal b/swish/0.10.0.0/swish.cabal new file mode 100644 index 00000000000..6b328f809c9 --- /dev/null +++ b/swish/0.10.0.0/swish.cabal @@ -0,0 +1,581 @@ +Name: swish +Version: 0.10.0.0 +Stability: experimental +License: LGPL-2.1 +License-file: LICENSE +Author: Graham Klyne - GK@ninebynine.org +Copyright: (c) 2003, 2004 G. Klyne; 2009 Vasili I Galchin; 2011, 2012, 2013, 2014, 2015, 2016, 2017, 2018 Doug Burke; All rights reserved. +Maintainer: dburke@cfa.harvard.edu +Category: Semantic Web +Synopsis: A semantic web toolkit. + +Tested-With: GHC==8.2.2 +Cabal-Version: >= 1.9.2 +Homepage: https://bitbucket.org/doug_burke/swish/wiki/Home +Bug-reports: https://bitbucket.org/doug_burke/swish/issues + +Description: + Swish is a framework, written in the purely functional + programming language Haskell, for performing deductions in + RDF data using a variety of techniques. Swish is conceived + as a toolkit for experimenting with RDF inference, and for + implementing stand-alone RDF file processors (usable in + similar style to CWM, but with a view to being extensible + in declarative style through added Haskell function and data + value declarations). It explores Haskell as \"a scripting + language for the Semantic Web\". + . + Swish is a work-in-progress, and currently incorporates: + . + * Turtle, Notation3 and NTriples input and output. The N3 support is + incomplete (no handling of @\@forAll@). + . + * RDF graph isomorphism testing and merging. + . + * Display of differences between RDF graphs. + . + * Inference operations in forward chaining, backward chaining and proof-checking modes. + . + * Simple Horn-style rule implementations, extendable through variable binding modifiers and filters. + . + * Class restriction rule implementation, primarily for datatype inferences. + . + * RDF formal semantics entailment rule implementation. + . + * Complete, ready-to-run, command-line and script-driven programs. + . + Changes are given in the . + . + References: + . + - + . + - + . + - CWM: + . + +Build-Type: Simple +Extra-Source-Files: README.md + CHANGELOG + stack.yaml +Data-Files: scripts/*.ss + +Source-repository head + type: mercurial + location: https://bitbucket.org/doug_burke/swish + +-- Removed in 0.9.15 since I haven't been using it and it causes +-- problems with 'cabal upload', since Cabal doesn't seem to recognize +-- that -Werror is not on by default. +-- +-- Flag developer +-- Description: Turn on developer flags +-- Default: False + +Flag w3ctests + Description: Build the RunW3CTests application + Default: False + +-- Prior to network-2.6, Network.URI was in network; +-- for >= 2.6 it's in network-uri. +-- +-- TODO: check; perhaps we don't need to install +-- network if we have network-uri, particularly for the +-- tests. If so, do we need network-uri < 2.6? +-- +Flag network-uri + Description: Get Network.URI from the network-uri package + Default: True + +Library + Build-Depends: + base >= 4.5 && < 4.13, + containers >= 0.5 && < 0.7, + directory >= 1.0 && < 1.4, + filepath >= 1.1 && < 1.5, + -- Early versions of hashable 1.2 are problematic + hashable (>= 1.1 && < 1.2) || (>= 1.2.0.6 && <1.3), + intern >= 0.8 && < 1.0, + mtl >= 2 && < 3, + -- old-locale is only needed if time < 1.5 + old-locale == 1.0.*, + polyparse >= 1.6 && <= 1.12, + text >= 0.11 && < 1.3, + -- I don't think 1.9.0 will work and it was quickly replaced + -- so do not support it + time (>= 1.1 && < 1.9) || (>= 1.9.1 && < 1.10) + + if flag(network-uri) + build-depends: network-uri == 2.6.* + else + build-depends: network-uri < 2.6 + , network >= 2.4 && < 2.6 + + if impl(ghc < 8.0.0) + ghc-options: + -Wall -fno-warn-orphans + build-depends: semigroups >= 0.16 && < 0.19 + else + ghc-options: + -Wall -fno-warn-orphans -Wcompat -Wnoncanonical-monad-instances -Wnoncanonical-monadfail-instances + + + -- if flag(developer) + -- ghc-options: -Werror + -- ghc-prof-options: -auto-all + + Hs-Source-Dirs: src/ + Other-Modules: Swish.RDF.Formatter.Internal + + Exposed-Modules: + Data.Interned.URI + Data.Ord.Partial + Data.String.ShowLines + Network.URI.Ord + Swish + Swish.Commands + Swish.Datatype + Swish.GraphClass + Swish.GraphMatch + Swish.GraphMem + Swish.GraphPartition + Swish.Monad + Swish.Namespace + Swish.Proof + Swish.QName + Swish.RDF + Swish.RDF.BuiltIn + Swish.RDF.BuiltIn.Datatypes + Swish.RDF.BuiltIn.Rules + Swish.RDF.ClassRestrictionRule + Swish.RDF.Datatype + Swish.RDF.Datatype.XSD.Decimal + Swish.RDF.Datatype.XSD.Integer + Swish.RDF.Datatype.XSD.MapDecimal + Swish.RDF.Datatype.XSD.MapInteger + Swish.RDF.Datatype.XSD.String + Swish.RDF.Formatter.NTriples + Swish.RDF.Formatter.N3 + Swish.RDF.Formatter.Turtle + Swish.RDF.Graph + Swish.RDF.GraphShowLines + Swish.RDF.Parser.NTriples + Swish.RDF.Parser.N3 + Swish.RDF.Parser.Turtle + Swish.RDF.Parser.Utils + Swish.RDF.Proof + Swish.RDF.ProofContext + Swish.RDF.Query + Swish.RDF.Ruleset + Swish.RDF.VarBinding + Swish.RDF.Vocabulary + Swish.RDF.Vocabulary.DublinCore + Swish.RDF.Vocabulary.FOAF + Swish.RDF.Vocabulary.Geo + Swish.RDF.Vocabulary.OWL + Swish.RDF.Vocabulary.Provenance + Swish.RDF.Vocabulary.RDF + Swish.RDF.Vocabulary.SIOC + Swish.RDF.Vocabulary.XSD + Swish.Rule + Swish.Ruleset + Swish.Script + Swish.Utils.ListHelpers + Swish.VarBinding + +Test-Suite test-builtinmap + type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests/ + Main-Is: BuiltInMapTest.hs + Other-Modules: TestHelpers + + ghc-options: + -Wall -fno-warn-orphans + + Build-Depends: + base, + containers, + HUnit >= 1.2 && < 1.7, + swish, + test-framework, + test-framework-hunit == 0.3.* + +Test-Suite test-graphpartition + type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests/ + Main-Is: GraphPartitionTest.hs + Other-Modules: TestHelpers + + ghc-options: + -Wall -fno-warn-orphans + + Build-Depends: + base, + containers, + HUnit, + semigroups, + swish, + test-framework, + test-framework-hunit == 0.3.* + +Test-Suite test-graph + type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests/ + Main-Is: GraphTest.hs + Other-Modules: TestHelpers + + ghc-options: + -Wall -fno-warn-orphans + + Build-Depends: + base, + containers, + hashable, + HUnit, + swish, + test-framework, + test-framework-hunit == 0.3.* + +Test-Suite test-nt + type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests/ + Main-Is: NTTest.hs + Other-Modules: TestHelpers + + ghc-options: + -Wall -fno-warn-orphans + + Build-Depends: + base, + containers, + HUnit, + swish, + test-framework, + test-framework-hunit == 0.3.*, + text + +Test-Suite test-turtle + type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests/ + Main-Is: TurtleTest.hs + + ghc-options: + -Wall -fno-warn-orphans + + Build-Depends: + base, + containers, + HUnit, + swish, + test-framework, + test-framework-hunit == 0.3.*, + text + + if flag(network-uri) + build-depends: network-uri + else + build-depends: network-uri + , network + +Test-Suite test-n3parser + type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests/ + Main-Is: N3ParserTest.hs + Other-Modules: TestHelpers + + ghc-options: + -Wall -fno-warn-orphans + + Build-Depends: + base, + containers, + HUnit, + swish, + test-framework, + test-framework-hunit == 0.3.*, + text + + if flag(network-uri) + build-depends: network-uri + else + build-depends: network-uri + , network + +Test-Suite test-n3formatter + type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests/ + Main-Is: N3FormatterTest.hs + Other-Modules: TestHelpers + + ghc-options: + -Wall -fno-warn-orphans + + Build-Depends: + base, + containers, + HUnit, + swish, + test-framework, + test-framework-hunit == 0.3.*, + text + + if flag(network-uri) + build-depends: network-uri + else + build-depends: network-uri + , network + +Test-Suite test-rdfdatatypexsdinteger + type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests/ + Main-Is: RDFDatatypeXsdIntegerTest.hs + Other-Modules: TestHelpers + + ghc-options: + -Wall -fno-warn-orphans + + Build-Depends: + base, + containers, + HUnit, + swish, + test-framework, + test-framework-hunit == 0.3.*, + text + + if flag(network-uri) + build-depends: network-uri + else + build-depends: network-uri + , network + +Test-Suite test-rdfgraph + type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests/ + Main-Is: RDFGraphTest.hs + Other-Modules: TestHelpers + + ghc-options: + -Wall -fno-warn-orphans + + Build-Depends: + base, + containers, + HUnit, + -- old-locale is only needed if time < 1.5 + old-locale, + swish, + test-framework, + test-framework-hunit == 0.3.*, + text, + time + + if flag(network-uri) + build-depends: network-uri + else + build-depends: network-uri + , network + +Test-Suite test-rdfproofcontext + type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests/ + Main-Is: RDFProofContextTest.hs + Other-Modules: TestHelpers + + ghc-options: + -Wall -fno-warn-orphans + + Build-Depends: + base, + containers, + HUnit, + swish, + test-framework, + test-framework-hunit == 0.3.*, + text + + if flag(network-uri) + build-depends: network-uri + else + build-depends: network-uri + , network + +Test-Suite test-rdfproof + type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests/ + Main-Is: RDFProofTest.hs + Other-Modules: TestHelpers + + ghc-options: + -Wall -fno-warn-orphans + + Build-Depends: + base, + containers, + HUnit, + swish, + test-framework, + test-framework-hunit == 0.3.*, + text + + if flag(network-uri) + build-depends: network-uri + else + build-depends: network-uri + , network + +Test-Suite test-rdfquery + type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests/ + Main-Is: RDFQueryTest.hs + Other-Modules: TestHelpers + + ghc-options: + -Wall -fno-warn-orphans + + Build-Depends: + base, + containers, + HUnit, + swish, + test-framework, + test-framework-hunit == 0.3.*, + text + + if flag(network-uri) + build-depends: network-uri + else + build-depends: network-uri + , network + +Test-Suite test-rdfruleset + type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests/ + Main-Is: RDFRulesetTest.hs + Other-Modules: TestHelpers + + ghc-options: + -Wall -fno-warn-orphans + + Build-Depends: + base, + containers, + HUnit, + swish, + test-framework, + test-framework-hunit == 0.3.*, + text + + if flag(network-uri) + build-depends: network-uri + else + build-depends: network-uri + , network + +Test-Suite test-varbinding + type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests/ + Main-Is: VarBindingTest.hs + Other-Modules: TestHelpers + + ghc-options: + -Wall -fno-warn-orphans + + Build-Depends: + base, + containers, + HUnit, + swish, + test-framework, + test-framework-hunit == 0.3.* + +Test-Suite test-qname + type: exitcode-stdio-1.0 + Hs-Source-Dirs: tests/ + Main-Is: QNameTest.hs + Other-Modules: TestHelpers + + ghc-options: + -Wall -fno-warn-orphans + + Build-Depends: + base, + containers, + HUnit, + swish, + test-framework, + test-framework-hunit == 0.3.*, + text + + if flag(network-uri) + build-depends: network-uri + else + build-depends: network-uri + , network + + -- we do not have the data files to run this test + -- Executable SwishTest + -- Main-Is: tests/SwishTest.hs + + -- How can we include data files that are only used for + -- benchmark/tests and do not get installed? + -- Benchmark bench-ntriples + -- Type: exitcode-stdio-1.0 + -- Hs-Source-Dirs: bench/ + -- Other-Modules: Paths_swish + -- Main-Is: NTriples.hs + -- Build-Depends: base, + -- criterion, + -- deepseq, + -- network, + -- swish, + -- text + -- + -- ghc-options: -Wall -fno-warn-orphans + +Executable Swish + Main-Is: SwishApp.hs + Hs-Source-Dirs: app/ + Other-Modules: Paths_swish + + ghc-options: + -Wall -fno-warn-orphans + + -- if flag(developer) + -- ghc-options: -Werror + -- ghc-prof-options: -auto-all + + Build-Depends: + base, + swish + +Executable runw3ctests + Main-Is: RunW3CTests.hs + Hs-Source-Dirs: app/ + Other-Modules: Paths_swish + + ghc-options: + -Wall -fno-warn-orphans + + -- if flag(developer) + -- ghc-options: -Werror + -- ghc-prof-options: -auto-all + + if flag(w3ctests) + Build-Depends: + base, + containers, + directory, + filepath, + swish, + text + + if flag(network-uri) + build-depends: network-uri + else + build-depends: network-uri + , network + + else + Buildable: False diff --git a/swish/0.10.0.0/swish.json b/swish/0.10.0.0/swish.json new file mode 100644 index 00000000000..ef9a83796b9 --- /dev/null +++ b/swish/0.10.0.0/swish.json @@ -0,0 +1 @@ +{"package-hashes":{"MD5":"c5703e83c559f6a82dc94b3378f3a816","Skein512_512":"1decacfcd29c848d2220763de2483ddd570039bd6ddabb0f827620d10af976aeb3dee968d23c34484166b97117cfd589ef2b8ac4aac6fd64fcafbefde76b30d8","SHA1":"24aa4541f46b9eaae0174ebb3b0f9c518596eb2d","SHA512":"992e81a5748751df820abca00780c8fb76d7a4331f2b60d50e64c46ce735a4447985103c7776f21e61b958fb9db31f8c48ce16978a1de1aae3121033e385183c","SHA256":"90e4299e29692b83ac5289720134f2e85e94e54bb3b951f16a3777c72942a3b6"},"package-locations":["https://hackage.haskell.org/package/swish-0.10.0.0/swish-0.10.0.0.tar.gz","https://s3.amazonaws.com/hackage.fpcomplete.com/package/swish-0.10.0.0.tar.gz"],"package-size":304094} \ No newline at end of file