Agda-executable (empty) → 2.2.0

raw patch · 4 files changed

+58/−0 lines, 4 filesdep +Agdadep +basesetup-changed

Dependencies added: Agda, base

Files

• Agda-executable.cabal +22/−0
• LICENSE +21/−0
• Main.hs +10/−0
• Setup.hs +5/−0

@@ -0,0 +1,22 @@+name:            Agda-executable+version:         2.2.0+cabal-version:   >= 1.4 && < 2+build-type:      Simple+license:         OtherLicense+license-file:    LICENSE+author:          Ulf Norell, Catarina Coquand, Makoto Takeyama, Nils Anders Danielsson, Andreas Abel, ...+maintainer:      Ulf Norell <ulfn@chalmers.se>+homepage:        http://wiki.portal.chalmers.se/agda/+bug-reports:     http://code.google.com/p/agda/issues/list+category:        Dependent types+synopsis:        Command-line program for type-checking and compiling Agda programs+description:+  This package provides a command-line program for type-checking and+  compiling Agda programs. The program can also generate hyperlinked,+  highlighted HTML files from Agda sources.+tested-with:     GHC == 6.8.3 && == 6.10.1++executable agda+  main-is:       Main.hs+  build-depends: Agda == 2.2.0,+                 base

@@ -0,0 +1,21 @@+Copyright (c) 2005-2009 Ulf Norell, Catarina Coquand, Makoto Takeyama,+Nils Anders Danielsson, Andreas Abel, Karl Mehltretter, Marcin Benke.++Permission is hereby granted, free of charge, to any person obtaining+a copy of this software and associated documentation files (the+"Software"), to deal in the Software without restriction, including+without limitation the rights to use, copy, modify, merge, publish,+distribute, sublicense, and/or sell copies of the Software, and to+permit persons to whom the Software is furnished to do so, subject to+the following conditions:++The above copyright notice and this permission notice shall be+included in all copies or substantial portions of the Software.++THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.+IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY+CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,+TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE+SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.

@@ -0,0 +1,10 @@+-- | Wrapper for "Agda.Main".+--+-- Agda is installed as a library. This module is used to build the+-- executable.++module Main (main) where++import qualified Agda.Main++main = Agda.Main.main

@@ -0,0 +1,5 @@++import Distribution.Simple++main = defaultMain+