lassik
/
upscheme
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Move bootstrap images into a scheme-boot directory

This commit is contained in:
Lassi Kortela 2019-08-09 15:53:31 +03:00
parent aaf73c8439
commit 8e35d98142
3 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

0
scheme-core/flisp.boot → scheme-boot/flisp.boot
View File

2
scheme-core/mkboot1.scm
View File

@ -2,4 +2,4 @@
(load "system.scm") (load "system.scm")
(load "compiler.scm") (load "compiler.scm")
(make-system-image "flisp.boot") (make-system-image "flisp.boot.new")

5
scripts/build.sh
View File

@ -38,18 +38,19 @@ $CC $LFLAGS -o flisp -lm \
builtins.o equalhash.o flisp.o flmain.o iostream.o string.o table.o \ builtins.o equalhash.o flisp.o flmain.o iostream.o string.o table.o \
bitvector-ops.o bitvector.o dirpath.o dump.o hashing.o htable.o \ bitvector-ops.o bitvector.o dirpath.o dump.o hashing.o htable.o \
int2str.o ios.o lltinit.o ptrhash.o random.o socket.o timefuncs.o utf8.o int2str.o ios.o lltinit.o ptrhash.o random.o socket.o timefuncs.o utf8.o
ln -s ../scheme-core/flisp.boot flisp.boot ln -s ../scheme-boot/flisp.boot flisp.boot
{ set +x; } 2>/dev/null { set +x; } 2>/dev/null
cd ../scheme-core cd ../scheme-core
echo "Entering directory '$PWD'" echo "Entering directory '$PWD'"
echo "Creating stage 0 boot file..." echo "Creating stage 0 boot file..."
set -x set -x
../"$builddir"/flisp mkboot0.scm system.scm compiler.scm >flisp.boot.new ../"$builddir"/flisp mkboot0.scm system.scm compiler.scm >flisp.boot.new
mv flisp.boot.new flisp.boot mv flisp.boot.new ../scheme-boot/flisp.boot
{ set +x; } 2>/dev/null { set +x; } 2>/dev/null
echo "Creating stage 1 boot file..." echo "Creating stage 1 boot file..."
set -x set -x
../"$builddir"/flisp mkboot1.scm ../"$builddir"/flisp mkboot1.scm
mv flisp.boot.new ../scheme-boot/flisp.boot
{ set +x; } 2>/dev/null { set +x; } 2>/dev/null
cd ../scheme-tests cd ../scheme-tests
echo "Entering directory '$PWD'" echo "Entering directory '$PWD'"