idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-02 00:27:34 +03:00
Code Issues Projects Releases Wiki Activity

Add docs for chez-exe

Browse Source
This commit is contained in:
Niklas Larsson 2021-07-16 21:54:45 +02:00
parent 0fec867583
commit d4039d962c
1 changed files with 29 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

29
docs/source/backends/chez.rst
View File

@ -71,3 +71,32 @@ Chez Directives
::
$ idris2 --codegen chez --directive extraRuntime=/path/to/extensions.scm -o main Main.idr
Making a freestanding executable
================================
It's possible to embed the Chez Scheme system and the built Idris2 program into a freestanding executable with `chez-exe <https://github.com/gwatt/chez-exe>`.
* Build and install the ``compile-chez-program-tool`` by running the
configuration script and then make:
::
$ scheme --script gen-config.ss --bootpath <bootpath>
where ``<bootpath`` is the path to where the Chez Scheme bootfiles (``petite.boot`` and ``scheme.boot``) and ``scheme.h`` are. More
configuration is described in the chez-exe installation instructions.
* Invoke ``compile-chez-program``:
::
$ compile-chez-program --optimize-level 3 build/exec/my_idris_prog_app/my_idris_prog.ss
Note that it can only use the ``.ss``-file and not the ``.so``-file. To
embed the full Chez Scheme system including the compiler add the ``--full-chez`` option.
* The finished executable still requires the libidris_support shared
library. It's possible to also eliminate that dependency by linking with
it statically.