Andor Penzes
b0d6793cfb
[ doc ] Custom backend cookbook ( #1237 )
...
Co-authored-by: Guillaume ALLAIS <guillaume.allais@ens-lyon.org>
2021-04-07 16:24:39 +01:00
Kamil Shakirov
3ec64a7cfc
[docs] Mention external code generators
2021-02-26 13:18:45 +00:00
Guillaume ALLAIS
5aa4262792
[ fix ] some of the docs
2021-02-10 00:37:06 +00:00
stefan-hoeck
29a6aa45e0
fixed whitespace for *.md and .rst files
2021-01-22 15:08:49 +00:00
Michael Messer
a1f3424ab8
Remove lamdaRequire
2021-01-05 16:30:11 +00:00
Andor Penzes
aeab632c7e
[doc] JS FFI examples.
2020-12-06 19:07:34 +00:00
Jonas Claesson
924166a911
Add GAMBIT_GSC_BACKEND and C directive to Gambit docs
2020-12-03 18:02:54 +01:00
Edwin Brady
3007b5a99d
Generate an executable via CC
...
This builds a .o from the generated C, and statically links with the
libidris2_support library. It doesn't yet dynamically link with any
additional libraries.
2020-10-11 18:35:51 +01:00
lodi
3b49b10832
add extraRuntime option for Scheme backends ( #578 )
2020-08-21 09:34:57 +01:00
Rui Barreiro
736b91b118
ups
2020-07-24 20:23:34 +01:00
Rui Barreiro
7e27d03ef9
Update docs/source/backends/javascript.rst
...
Co-authored-by: memoryruins <memoryruinsmusic@gmail.com>
2020-07-24 19:10:11 +01:00
Rui Barreiro
503c513aef
Update docs/source/backends/javascript.rst
...
Co-authored-by: memoryruins <memoryruinsmusic@gmail.com>
2020-07-24 19:09:47 +01:00
Rui Barreiro
99ea8f59aa
Update docs/source/backends/javascript.rst
...
Co-authored-by: memoryruins <memoryruinsmusic@gmail.com>
2020-07-24 19:09:38 +01:00
Rui Barreiro
10be065553
Update docs/source/backends/javascript.rst
...
Co-authored-by: memoryruins <memoryruinsmusic@gmail.com>
2020-07-24 19:09:27 +01:00
Rui Barreiro
211a5e55cc
javascript codegen minimal doc
2020-07-24 18:28:20 +01:00
Edwin Brady
2ab2adec0b
Update JS code generator to remove RF
...
This name was removed in a recent patch, leading to a small conflict.
Also added a note to the CHANGELOG and a placeholder in the docs.
2020-07-08 22:40:47 +01:00
Christian Rasmussen
3bf384860a
Add documentation for sourcedir/builddir/outputdir
2020-06-28 19:56:02 +02:00
Niklas Larsson
1780bd2aba
Add note about the default codegen
2020-06-20 22:56:35 +02:00
Christian Rasmussen
1f0ca85678
Allow overriding the build directory and the output directory
...
The output directory was previously called the executable directory, but I changed it because the output is not always an executable (depending on the code generator).
The code generators can now distinguish between where to place the (temporary) build files and the resulting output files.
2020-06-20 17:23:51 +02:00
Kamil Shakirov
9e42eb1be1
Fix 'install-api' makefile target
...
When building from a clean state `src/IdrisPaths.idr` must be generated first
before installing `idris2api.ipkg`.
2020-06-18 17:19:48 +06:00
Niklas Larsson
2ec923d4f3
Add documentation
2020-06-15 16:11:08 +02:00
Marek Labos
9160d2772a
Fix typo in backends/index.rst and racket/support.rkt
2020-05-25 14:02:49 +01:00
Edwin Brady
cff5fc2625
Workaround for byte vectors in Racket
...
Racket appears to have a different notion of current directory than the
system does, so we need to tell it which directory we think we're in
when reading and writing bytevectors using the scheme file functions.
2020-05-23 21:37:31 +01:00
Edwin Brady
0d5c709fc6
Add IDRIS2_CG environment variable
...
This allows setting code generators globally, which makes building with
alternative back ends smoother.
2020-05-23 19:03:56 +01:00
Edwin Brady
e3df2d59b0
Tidy up Racket CG
...
Instead of dumping the required dynamic libraries in the working
directly, where the executable won't necessarily find them, take the
same approach as the Chez backend and create a subdirectory for the
required runtime files and use a shell script to start up with the right
library paths.
2020-05-23 15:18:18 +01:00
Edwin Brady
fd55e629ee
Copy more files over from Idris2
2020-05-20 11:23:04 +01:00
