Implement check of bidirectionalizability.
[darcs-mirror-sem_syn.git] / b18n-combined.cabal
index 5706c65..57bcb52 100644 (file)
@@ -1,61 +1,28 @@
--- b18n-combined.cabal auto-generated by cabal init. For additional
--- options, see
--- http://www.haskell.org/cabal/release/cabal-latest/doc/users-guide/authors.html#pkg-descr.
--- The name of the package.
 Name:                b18n-combined
-
--- The package version. See the Haskell package versioning policy
--- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
--- standards guiding when and how versions should be incremented.
 Version:             0.1
-
--- A short (one-line) description of the package.
 Synopsis:            Prototype Implementation of Combining Syntatic and Semantic Bidirectionalization (ICFP'10)
-
--- A longer description of the package.
 Description:         This is a prototype implementation of the idea presented 
-                    in Combining Syntatic and Semantic Bidirectionalization 
-                    by Janis Voigtlaender, Zhenjiang Hu, Kazutaka Matsuda 
-                    and Meng Wang.
-
--- The license under which the package is released.
+                     in Combining Syntatic and Semantic Bidirectionalization 
+                     by Janis Voigtlaender, Zhenjiang Hu, Kazutaka Matsuda 
+                     and Meng Wang.
 License:             PublicDomain
-
--- The file containing the license text.
--- License-file:        LICENSE
-
--- The package author(s).
 Author:              Kazutaka Matsuda
-
--- An email address to which users can send suggestions, bug reports,
--- and patches.
 Maintainer:          kztk@kb.ecei.tohoku.ac.jp
-
--- A copyright notice.
--- Copyright:           
-
 Category:            Language
-
 Build-type:          Simple
-
--- Extra files to be distributed with the package, such as examples or
--- a README.
--- Extra-source-files:  
-
--- Constraint on the version of Cabal needed to build this package.
-Cabal-version:       >=1.2
+Cabal-version:       >=1.6
+Extra-source-files:  example/*.txt
+Data-files:          BUtil.hs
 
 
 Executable b18n-combined
-  -- .hs or .lhs file containing the Main module.
   Main-is: Main.hs            
-  
-  -- Packages needed in order to build this package.
-  Build-depends: base (>=4), mtl, template-haskell, containers, pretty, parsec
-  
-  -- Modules not exported by this package.
-  -- Other-modules:       
-  
-  -- Extra tools (e.g. alex, hsc2hs, ...) needed to build the source.
-  -- Build-tools:         
-  
\ No newline at end of file
+  Build-depends: base >=4, mtl, template-haskell, containers, pretty, parsec
+  Other-modules: Util, AST, Parser, Type, Shapify, CodeGen
+
+Executable b18n-combined-cgi
+  Main-is: b18n-combined-cgi.hs
+  Build-depends: base >=4, mtl, template-haskell, containers, pretty, directory,
+                 parsec, xhtml, cgi, utf8-string, bytestring,
+                 unix, hint >= 0.3.2
+  Other-modules: Util, AST, Parser, Type, Shapify, CodeGen