Edwin Brady
b93b51a0e1
Remove racket ipkg, update scheme
...
Needed to get the bootstrap version working with the tests in racket
2020-05-23 23:30: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
08e4955c0b
Update scheme/racket again
...
Bootstrapping needs IDRIS2_CG set up properly
2020-05-23 19:30:53 +01:00
Niklas Larsson
709ca9d152
Unbreak Windows bootstrap
2020-05-23 20:00:15 +02:00
Edwin Brady
c8896290a6
Update scheme given network code move
2020-05-23 15:57:20 +01:00
Edwin Brady
e17f66244a
Move network support to libidris2_support
...
This makes the support stuff much simpler, and also makes the racket
bootstrap process easier
2020-05-23 15:52:33 +01:00
Edwin Brady
561123d49d
Update generated Scheme
...
Mostly because of the racket, which needs to put the libraries in the
right place to bootstrap properly.
2020-05-23 15:21:59 +01:00
Edwin Brady
824b661cd5
Update bootstrap scheme
...
The library code uses a new feature, and it needs to be able to build
with the bootstrap code (though, fortunately, not with idris2-boot)
2020-05-22 18:06:04 +01:00
Edwin Brady
b94ff558f3
Put idris2.ss back in the right place
2020-05-20 14:23:26 +01:00
