| Revisão | 18 (tree) |
|---|---|
| Hora | 2017-02-24 04:46:56 |
| Autor | jakobthomsen |
rename
trunk/haskellino/compiler/self_hosting_risc_mem.bat
trunk/haskellino/compiler/self_hosting_risc_mem.sh trunk/haskellino/compiler/self_hosting.bat (diff) trunk/haskellino/compiler/self_hosting.sh (diff)| @@ -1,12 +0,0 @@ | ||
| 1 | -rem removing previously generated files | |
| 2 | -del CompilerN.bin | |
| 3 | -del CompilerNN.bin | |
| 4 | - | |
| 5 | -rem applying compiler to it's own source-file... | |
| 6 | -..\bin\release\run_haskellino_v5_mem\run_haskellino_v5_mem.exe Compiler.bin Compiler.src CompilerN.bin "" --verbose --stats | |
| 7 | - | |
| 8 | -rem re-compiling compiler with previously generated self-hosting compiler binary... | |
| 9 | -..\bin\release\run_haskellino_v5_mem\run_haskellino_v5_mem.exe CompilerN.bin Compiler.src CompilerNN.bin "" --verbose --stats | |
| 10 | - | |
| 11 | -rem run diff to check: CompilerN.bin must equal CompilerNN.bin exactly | |
| 12 | -..\bin\release\run_haskellino_v5_mem\run_haskellino_v5_mem.exe Tools\verify_copy.bin CompilerNN.bin CompilerN.bin Compiler.bin |
| @@ -1,22 +0,0 @@ | ||
| 1 | -rm -f "CompilerN.bin" | |
| 2 | -rm -f "CompilerNN.bin" | |
| 3 | -echo "first pass..." | |
| 4 | -"../build/linux/haskellino.bin" "Compiler.bin" "Compiler.src" "CompilerN.bin" "" --stats | |
| 5 | -if [ ! $? -eq 0 ]; then | |
| 6 | - echo PASS 1 FAILED | |
| 7 | - exit | |
| 8 | -fi | |
| 9 | -echo "second pass..." | |
| 10 | -"../build/linux/haskellino.bin" "CompilerN.bin" "Compiler.src" "CompilerNN.bin" "" --stats | |
| 11 | -if [ ! $? -eq 0 ]; then | |
| 12 | - echo PASS 2 FAILED | |
| 13 | - exit | |
| 14 | -fi | |
| 15 | -echo "verifying..." | |
| 16 | -"../build/linux/haskellino.bin" "Tools/verify_copy.bin" "CompilerN.bin" "CompilerNN.bin" "Compiler.bin" | |
| 17 | -if [ ! $? -eq 0 ]; then | |
| 18 | - echo DIFF FAILED | |
| 19 | - exit | |
| 20 | -fi | |
| 21 | -diff "CompilerN.bin" "CompilerNN.bin" --brief | |
| 22 | - |
| @@ -0,0 +1,12 @@ | ||
| 1 | +rem removing previously generated files | |
| 2 | +del CompilerN.bin | |
| 3 | +del CompilerNN.bin | |
| 4 | + | |
| 5 | +rem applying compiler to it's own source-file... | |
| 6 | +..\bin\release\run_haskellino_v5_mem\run_haskellino_v5_mem.exe Compiler.bin Compiler.src CompilerN.bin "" --verbose --stats | |
| 7 | + | |
| 8 | +rem re-compiling compiler with previously generated self-hosting compiler binary... | |
| 9 | +..\bin\release\run_haskellino_v5_mem\run_haskellino_v5_mem.exe CompilerN.bin Compiler.src CompilerNN.bin "" --verbose --stats | |
| 10 | + | |
| 11 | +rem run diff to check: CompilerN.bin must equal CompilerNN.bin exactly | |
| 12 | +..\bin\release\run_haskellino_v5_mem\run_haskellino_v5_mem.exe Tools\verify_copy.bin CompilerNN.bin CompilerN.bin Compiler.bin |
| @@ -0,0 +1,22 @@ | ||
| 1 | +rm -f "CompilerN.bin" | |
| 2 | +rm -f "CompilerNN.bin" | |
| 3 | +echo "first pass..." | |
| 4 | +"../build/linux/haskellino.bin" "Compiler.bin" "Compiler.src" "CompilerN.bin" "" --stats | |
| 5 | +if [ ! $? -eq 0 ]; then | |
| 6 | + echo PASS 1 FAILED | |
| 7 | + exit | |
| 8 | +fi | |
| 9 | +echo "second pass..." | |
| 10 | +"../build/linux/haskellino.bin" "CompilerN.bin" "Compiler.src" "CompilerNN.bin" "" --stats | |
| 11 | +if [ ! $? -eq 0 ]; then | |
| 12 | + echo PASS 2 FAILED | |
| 13 | + exit | |
| 14 | +fi | |
| 15 | +echo "verifying..." | |
| 16 | +"../build/linux/haskellino.bin" "Tools/verify_copy.bin" "CompilerN.bin" "CompilerNN.bin" "Compiler.bin" | |
| 17 | +if [ ! $? -eq 0 ]; then | |
| 18 | + echo DIFF FAILED | |
| 19 | + exit | |
| 20 | +fi | |
| 21 | +diff "CompilerN.bin" "CompilerNN.bin" --brief | |
| 22 | + |
