Commit 4b8b8425 authored by Michael Hanus 's avatar Michael Hanus
Browse files

cabal comments and cymake name changed

parent 9c665b5d
......@@ -3,7 +3,8 @@ Version: 0.4.2
Cabal-Version: >= 1.10
Synopsis: Compile the functional logic language Curry to several
intermediate formats
Description: The Curry Frontend consists of the executable program "curry-frontend".
Description: The Curry front end consists of the executable program
"curry-frontend".
It is used by various backends to compile Curry programs to
an intermediate representation.
The code is a stripped-down version of an early version of
......@@ -11,6 +12,8 @@ Description: The Curry Frontend consists of the executable program "curry-fron
(<http://danae.uni-muenster.de/curry/>)
which has been extended to produce different intermediate
representations.
For further information, please check
<http://currry-language.org>
Category: Language
License: BSD-3-clause
License-File: LICENSE
......
......@@ -9,7 +9,7 @@
Portability : portable
This module contains functions to obtain the version number and path
of the cymake binary.
of the front end binary.
-}
module Files.CymakePath (getCymake, cymakeGreeting, cymakeVersion) where
......@@ -17,16 +17,16 @@ import Data.Version (showVersion)
import System.FilePath ((</>))
import Paths_curry_frontend
-- | Show a greeting of the current cymake
-- | Show a greeting of the current front end
cymakeGreeting :: String
cymakeGreeting = "This is cymake, version " ++ cymakeVersion
cymakeGreeting = "This is the Curry front end, version " ++ cymakeVersion
-- | Retrieve the version number of cymake
cymakeVersion :: String
cymakeVersion = showVersion version
-- | Retrieve the location of the cymake executable
-- | Retrieve the location of the front end executable
getCymake :: IO String
getCymake = do
cymakeDir <- getBinDir
return $ cymakeDir </> "cymake"
return $ cymakeDir </> "curry-frontend"
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment