rename the pgf2-bind package to pgf2

2026-05-05 01:02:51 -06:00 · 2017-09-01 13:07:47 +02:00
parent 2b52ff1f73
commit c48f3bdfbc
1 changed files with 4 additions and 7 deletions
--- a/src/runtime/haskell-bind/pgf2.cabal
+++ 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