From c48f3bdfbc789820e678e3e44aeafb4a82e18395 Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Fri, 1 Sep 2017 13:07:47 +0200 Subject: rename the pgf2-bind package to pgf2 --- src/runtime/haskell-bind/pgf2-bind.cabal | 39 -------------------------------- src/runtime/haskell-bind/pgf2.cabal | 36 +++++++++++++++++++++++++++++ 2 files changed, 36 insertions(+), 39 deletions(-) delete mode 100644 src/runtime/haskell-bind/pgf2-bind.cabal create mode 100644 src/runtime/haskell-bind/pgf2.cabal (limited to 'src/runtime/haskell-bind') diff --git a/src/runtime/haskell-bind/pgf2-bind.cabal b/src/runtime/haskell-bind/pgf2-bind.cabal deleted file mode 100644 index dfde308b9..000000000 --- a/src/runtime/haskell-bind/pgf2-bind.cabal +++ /dev/null @@ -1,39 +0,0 @@ --- Initial haskell-bind.cabal generated by cabal init. For further --- documentation, see http://haskell.org/cabal/users-guide/ - -name: pgf2-bind -version: 0.1.0.0 --- synopsis: --- description: -homepage: http://www.grammaticalframework.org -license: LGPL-3 ---license-file: LICENSE -author: Inari -maintainer: Krasimir Angelov --- copyright: -category: Language -build-type: Simple -extra-source-files: README -cabal-version: >=1.10 - -library - exposed-modules: PGF2, SG - other-modules: PGF2.FFI, PGF2.Expr, PGF2.Type, SG.FFI - build-depends: base >=4.3, bytestring >=0.9, - containers, pretty - -- hs-source-dirs: - default-language: Haskell2010 - build-tools: hsc2hs - - extra-libraries: sg pgf gu - cc-options: -std=c99 - default-language: Haskell2010 - c-sources: utils.c - -executable pgf-shell - main-is: pgf-shell.hs - hs-source-dirs: examples - build-depends: base, pgf2-bind, containers, mtl, lifted-base - default-language: Haskell2010 - if impl(ghc>=7.0) - ghc-options: -rtsopts diff --git a/src/runtime/haskell-bind/pgf2.cabal b/src/runtime/haskell-bind/pgf2.cabal new file mode 100644 index 000000000..df1cc2b1a --- /dev/null +++ b/src/runtime/haskell-bind/pgf2.cabal @@ -0,0 +1,36 @@ +name: pgf2 +version: 0.1.0.0 +-- synopsis: +-- description: +homepage: http://www.grammaticalframework.org +license: LGPL-3 +--license-file: LICENSE +author: Krasimir Angelov, Inari +maintainer: +-- copyright: +category: Language +build-type: Simple +extra-source-files: README +cabal-version: >=1.10 + +library + exposed-modules: PGF2, SG + other-modules: PGF2.FFI, PGF2.Expr, PGF2.Type, SG.FFI + build-depends: base >=4.3, bytestring >=0.9, + containers, pretty + -- hs-source-dirs: + default-language: Haskell2010 + build-tools: hsc2hs + + extra-libraries: sg pgf gu + cc-options: -std=c99 + default-language: Haskell2010 + c-sources: utils.c + +executable pgf-shell + main-is: pgf-shell.hs + hs-source-dirs: examples + build-depends: base, pgf2, containers, mtl, lifted-base + default-language: Haskell2010 + if impl(ghc>=7.0) + ghc-options: -rtsopts -- cgit v1.2.3