diff --git a/Agda-executable.cabal b/Agda-executable.cabal
new file mode 100644
--- /dev/null
+++ b/Agda-executable.cabal
@@ -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
diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -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.
diff --git a/Main.hs b/Main.hs
new file mode 100644
--- /dev/null
+++ b/Main.hs
@@ -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
diff --git a/Setup.hs b/Setup.hs
new file mode 100644
--- /dev/null
+++ b/Setup.hs
@@ -0,0 +1,5 @@
+
+import Distribution.Simple
+
+main = defaultMain
+