File: build-initial-image.bat

package info (click to toggle)
scheme48 1.8%2Bdfsg-1%2Bdeb7u1
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 14,984 kB
file content (32 lines) | stat: -rw-r--r-- 1,632 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
@echo off

set runnable="%~1"

call build\filenames.bat

echo ,batch > build\build-initial-image.input
echo ,bench on >> build\build-initial-image.input
echo ,open signals handle features >> build\build-initial-image.input
echo ,open bitwise ascii code-vectors >> build\build-initial-image.input
echo ,open (subset i/o (write-byte)) (subset ports (set-port-crlf?!)) >> build\build-initial-image.input
echo ,config ,load scheme/platform-interfaces.scm >> build\build-initial-image.input
echo ,config ,load scheme/rts-packages-32.scm >> build\build-initial-image.input
echo ,open platform  >> build\build-initial-image.input
echo ,open cells record-types >> build\build-initial-image.input
echo ,load %linker-files% >> build\build-initial-image.input
echo ,load scheme/alt/init-defpackage.scm >> build\build-initial-image.input
echo (load-configuration "scheme/platform-interfaces.scm") >> build\build-initial-image.input
echo (load-configuration "scheme/rts-packages-32.scm") >> build\build-initial-image.input
echo (load-configuration "scheme/interfaces.scm") >> build\build-initial-image.input
echo (load-configuration "scheme/vm/shared-interfaces.scm") >> build\build-initial-image.input
echo (load-configuration "scheme/packages.scm") >> build\build-initial-image.input
echo (flatload initial-structures) >> build\build-initial-image.input
echo (load "build/initial.scm") >> build\build-initial-image.input
echo (link-initial-system) >> build\build-initial-image.input

call %runnable% -h 8000000 < build\build-initial-image.input
cd build
if exist initial.image-32 del initial.image-32
ren initial.image initial.image-32
cd ..