idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-18 00:31:57 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #325 from ska80/fix-install-api

Browse Source 
Fix 'install-api' makefile target
This commit is contained in:
Niklas Larsson 2020-06-18 14:19:39 +02:00 committed by GitHub
commit fbf4a667b1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Makefile
View File

@ -101,7 +101,7 @@ clean: clean-libs support-clean
install: install-idris2 install-support install-libs
install-api:
install-api: src/IdrisPaths.idr
${IDRIS2_BOOT} --install idris2api.ipkg
install-idris2:

17
docs/source/backends/custom.rst
View File

@ -10,13 +10,12 @@ starting idris with these codegens in addition to the built-in ones.
Getting started
===============
To use Idris 2 as a library you need to install it with (the ipkg file
is at the top level of the Idris2 repo)
To use Idris 2 as a library you need to install it with (at the top level of the
Idris2 repo)
::
idris2 --build idris2api.ipkg
idris2 --install idris2api.ipkg
make install-api
Now create a file containing
@ -53,11 +52,11 @@ Now you have an idris2 with an added backend.
::
$ ./build/exec/lazy-idris2
____ __ _ ___
____ __ _ ___
/ _/___/ /____(_)____ |__ \
/ // __ / ___/ / ___/ __/ / Version 0.2.0-d8c7f08bd
_/ // /_/ / / / (__ ) / __/ https://www.idris-lang.org
/___/\__,_/_/ /_/____/ /____/ Type :? for help
/ // __ / ___/ / ___/ __/ / Version 0.2.0-bd9498c00
_/ // /_/ / / / (__ ) / __/ https://www.idris-lang.org
/___/\__,_/_/ /_/____/ /____/ Type :? for help
Welcome to Idris 2. Enjoy yourself!
With codegen for: lazy
@ -67,6 +66,6 @@ It will not be overly eager to actually compile any code with the new backend th
::
$ ./build/exec/lazy --cg lazy Hello.idr -o hello
$ ./build/exec/lazy-idris2 --cg lazy Hello.idr -o hello
I'd rather not.
$