Commit 4939bd68 authored by Fredrik Wieczerkowski's avatar Fredrik Wieczerkowski

Improve formatting of commands in README

parent 64c79490
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
The Curry frontend parses source files (`.curry`), emits errors and The Curry frontend parses source files (`.curry`), emits errors and
warnings, performs various checks and transformations and warnings, performs various checks and transformations and
generates FlatCurry (`.fcy`, `.fint`) or AbstractCurry (`.acy`, `.uacy`) generates FlatCurry (`.fcy`, `.fint`) or AbstractCurry (`.acy`, `.uacy`),
amonst other formats. amonst other formats.
The project originated from a modified version of the Münster-Curry-Compiler The project originated from a modified version of the Münster-Curry-Compiler
...@@ -17,23 +17,19 @@ but can also be used with a variety of other backends, most notably including ...@@ -17,23 +17,19 @@ but can also be used with a variety of other backends, most notably including
## Building ## Building
To build the project, run To build the project, run `cabal v1-build`.
> cabal v1-build
## Running ## Running
To run the project, you can use To run the project, use `cabal v1-run`.
> cabal v1-run
Alternatively, you can launch the built executable manually from `dist/build/curry-frontend`. Alternatively, you can launch the built executable manually from `dist/build/curry-frontend`.
## Usage ## Usage
For a detailed overview of the available options, you can use: For a detailed overview of the available options, you can use the following command:
> curry-frontend --help `curry-frontend --help`
### Available Formats ### Available Formats
...@@ -58,7 +54,7 @@ inference (only for typed AbstractCurry). ...@@ -58,7 +54,7 @@ inference (only for typed AbstractCurry).
- To use the PAKCS libraries (especially for the `Prelude`), the environment - To use the PAKCS libraries (especially for the `Prelude`), the environment
variable `PAKCS_LIB` has to point to the correct paths, e.g. using variable `PAKCS_LIB` has to point to the correct paths, e.g. using
> export PAKCS_LIB=[pakcs path]/pacs/lib:[pakcs path]/pacs/lib/meta:... `export PAKCS_LIB=[pakcs path]/pacs/lib:[pakcs path]/pacs/lib/meta:...`
where `[pakcs path]` is the directory containing the PAKCS distribution. where `[pakcs path]` is the directory containing the PAKCS distribution.
......
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