Update Reduceron Build Setup: Dependency Management and Updated Documentation

Closes #40 /claim #40 ``` ➜ /workspaces/Reduceron (fix/build) $ stack --resolver=lts-12.26 exec make /usr/bin/make -C red-lava/examples && touch examples.check make[1]: Entering directory '/workspaces/Reduceron/red-lava/examples' /usr/bin/make -C Avalon && touch Avalon.checked make[2]: Entering directory '/workspaces/Reduceron/red-lava/examples/Avalon' cd ..;runhaskell -i../modules/: Avalon/Main.hs Creating directory 'Avalon/' Writing to 'Avalon/Avalon.v' Done. iverilog -o avalon Avalon.v main.v ../../simulation/lpm_add_sub.v ./avalon 00015 rd 0 wr 1 a 1 wd 3 waitreq 1 rdvalid 0 rddata x done 0 00025 rd 0 wr 1 a 1 wd 3 waitreq 1 rdvalid 0 rddata x done 0 00035 rd 0 wr 1 a 1 wd 3 waitreq 1 rdvalid 0 rddata x done 0 00045 rd 0 wr 1 a 1 wd 3 waitreq 0 rdvalid 0 rddata x done 0 val[1] <= 3 00085 rd 0 wr 1 a 2 wd 1 waitreq 1 rdvalid 0 rddata 3 done 0 00095 rd 0 wr 1 a 2 wd 1 waitreq 1 rdvalid 0 rddata x done 0 00105 rd 0 wr 1 a 2 wd 1 waitreq 1 rdvalid 0 rddata x done 0 00115 rd 0 wr 1 a 2 wd 1 waitreq 0 rdvalid 0 rddata x done 0 val[2] <= 1 00125 rd 0 wr 1 a 3 wd 2 waitreq 0 rdvalid 0 rddata x done 0 val[3] <= 2 00135 rd 1 wr 0 a 2 wd 2 waitreq 0 rdvalid 0 rddata x done 0 00145 rd 0 wr 0 a 2 wd 2 waitreq 1 rdvalid 1 rddata 1 done 0 val[2] -> 1 00155 rd 0 wr 1 a 2 wd 2 waitreq 1 rdvalid 0 rddata 1 done 0 00165 rd 0 wr 1 a 2 wd 2 waitreq 1 rdvalid 0 rddata 1 done 0 00175 rd 0 wr 1 a 2 wd 2 waitreq 1 rdvalid 0 rddata 1 done 0 00185 rd 0 wr 1 a 2 wd 2 waitreq 0 rdvalid 0 rddata 1 done 1 val[2] <= 2 make[2]: Leaving directory '/workspaces/Reduceron/red-lava/examples/Avalon' /usr/bin/make -C Cube && touch Cube.checked make[2]: Entering directory '/workspaces/Reduceron/red-lava/examples/Cube' cd ..;runhaskell -i../modules/:Mult: Cube/Cube.hs Creating directory 'Cube/' Writing to 'Cube/Cube.v' Done. iverilog main.v Cube.v && ./a.out 00005 res 0 done 0 00015 res 0 done 0 00025 res 0 done 0 00035 res 5 done 0 make[2]: Leaving directory '/workspaces/Reduceron/red-lava/examples/Cube' /usr/bin/make -C HalfAdd && touch HalfAdd.checked make[2]: Entering directory '/workspaces/Reduceron/red-lava/examples/HalfAdd' cd ..;runhaskell -i../modules/: HalfAdd/HalfAdd.hs (high,low) Creating directory 'HalfAdd/' Writing to 'HalfAdd/HalfAdd.v' Done. iverilog HalfAdd.v main.v && ./a.out 00005 0+0 = 0 00015 0+1 = 1 00025 1+0 = 1 make[2]: Leaving directory '/workspaces/Reduceron/red-lava/examples/HalfAdd' /usr/bin/make -C Loopy && touch Loopy.checked make[2]: Entering directory '/workspaces/Reduceron/red-lava/examples/Loopy' cd ..;runhaskell -i../modules/: Loopy/Loopy.hs [low,high,low,high,low,high,low,high,low,high] [low,low,high,high] Creating directory 'Loopy/' Writing to 'Loopy/Loopy.c' Done. Creating directory 'Loopy/' Writing to 'Loopy/Loopy.v' Done. iverilog Loopy.v main.v ../../simulation/lpm_add_sub.v && ./a.out 00005 o 0 00015 o 0 make[2]: Leaving directory '/workspaces/Reduceron/red-lava/examples/Loopy' /usr/bin/make -C Mult && touch Mult.checked make[2]: Entering directory '/workspaces/Reduceron/red-lava/examples/Mult' cd ..;runhaskell -i../modules/: Mult/Mult.hs Creating directory 'Mult/' Writing to 'Mult/Mult.v' Done. iverilog Mult.v main.v ../../simulation/lpm_add_sub.v && ./a.out 1 res 0 done 0 2 res 5 done 0 3 res 5 done 0 4 res 5 done 0 5 res 45 done 0 6 res 125 done 1 make[2]: Leaving directory '/workspaces/Reduceron/red-lava/examples/Mult' /usr/bin/make -C Poly && touch Poly.checked make[2]: Entering directory '/workspaces/Reduceron/red-lava/examples/Poly' cd ..;runhaskell -i../modules/:Mult:Stack: Poly/Poly.hs Creating directory 'Poly/' Writing to 'Poly/Poly.v' Writing to 'Poly/ram_c25.mif' Done. iverilog ../../simulation/altsyncram.v ../../simulation/lpm_add_sub.v Poly.v main.v ./a.out WARNING: ../../simulation/altsyncram.v:77: $readmemh: Standard inconsistency, following 1364-2005. 00005 res 7 done 0 00015 res 7 done 0 00025 res 7 done 0 00035 res 7 done 0 make[2]: Leaving directory '/workspaces/Reduceron/red-lava/examples/Poly' /usr/bin/make -C Stack && touch Stack.checked make[2]: Entering directory '/workspaces/Reduceron/red-lava/examples/Stack' cd ..;runhaskell -i../modules/: Stack/Stack.hs Creating directory 'Stack/' Writing to 'Stack/Stack.v' Writing to 'Stack/ram_c33.mif' Done. iverilog ../../simulation/altsyncram.v Stack.v main.v ./a.out WARNING: ../../simulation/altsyncram.v:77: $readmemh: Standard inconsistency, following 1364-2005. 00005 res 3 done 0 00015 res 3 done 0 make[2]: Leaving directory '/workspaces/Reduceron/red-lava/examples/Stack' /usr/bin/make -C Toggle && touch Toggle.checked make[2]: Entering directory '/workspaces/Reduceron/red-lava/examples/Toggle' cd ..;runhaskell -i../modules/: Toggle/Toggle.hs Creating directory 'Toggle/' Writing to 'Toggle/Toggle.v' Done. iverilog -o toggle Toggle.v main.v ./toggle 00005 ready 0 output 1 done 0 00015 ready 0 output 1 done 0 make[2]: Leaving directory '/workspaces/Reduceron/red-lava/examples/Toggle' /usr/bin/make -C LFSR && touch LFSR.checked make[2]: Entering directory '/workspaces/Reduceron/red-lava/examples/LFSR' cd ..;runhaskell -i../modules/: LFSR/LFSR.hs 011000001000010111110010000000000 110000010000101111100100000000000 100000100001011111001000000000000 000001000010111110010000000000001 000010000101111100100000000000010 000100001011111001000000000000100 001000010111110010000000000001000 010000101111100100000000000010000 100001011111001000000000000100001 000010111110010000000000001000010 011000001000010111110010000000000 110000010000101111100100000000000 100000100001011111001000000000000 000001000010111110010000000000001 000010000101111100100000000000010 000100001011111001000000000000100 001000010111110010000000000001000 010000101111100100000000000010000 100001011111001000000000000100001 000010111110010000000000001000010 Creating directory 'LFSR/' Writing to 'LFSR/LFSR.v' Done. Creating directory 'LFSRv2/' Writing to 'LFSRv2/LFSRv2.v' Done. make[2]: Leaving directory '/workspaces/Reduceron/red-lava/examples/LFSR' make[1]: Leaving directory '/workspaces/Reduceron/red-lava/examples' /usr/bin/make -C programs regress && touch regress.check make[1]: Entering directory '/workspaces/Reduceron/programs' ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite /usr/bin/make regress-emu make[2]: Entering directory '/workspaces/Reduceron/programs' ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite /usr/bin/make -C ../emulator emu make[3]: Entering directory '/workspaces/Reduceron/emulator' cc -std=c99 -O2 -DNDEBUG -Wall emu.c -o emu make[3]: Leaving directory '/workspaces/Reduceron/emulator' ../emulator/emu gold/compiled/And.red | diff -u gold/run/And.out - && touch And.emu-checked ../emulator/emu gold/compiled/SmallFib.red | diff -u gold/run/SmallFib.out - && touch SmallFib.emu-checked ../emulator/emu gold/compiled/Example.red | diff -u gold/run/Example.out - && touch Example.emu-checked ../emulator/emu gold/compiled/Fib.red | diff -u gold/run/Fib.out - && touch Fib.emu-checked ../emulator/emu gold/compiled/Parts.red | diff -u gold/run/Parts.out - && touch Parts.emu-checked ../emulator/emu gold/compiled/CountDown.red | diff -u gold/run/CountDown.out - && touch CountDown.emu-checked ../emulator/emu gold/compiled/KnuthBendix.red | diff -u gold/run/KnuthBendix.out - && touch KnuthBendix.emu-checked ../emulator/emu gold/compiled/Adjoxo.red | diff -u gold/run/Adjoxo.out - && touch Adjoxo.emu-checked ../emulator/emu gold/compiled/Cichelli.red | diff -u gold/run/Cichelli.out - && touch Cichelli.emu-checked ../emulator/emu gold/compiled/Taut.red | diff -u gold/run/Taut.out - && touch Taut.emu-checked ../emulator/emu gold/compiled/While.red | diff -u gold/run/While.out - && touch While.emu-checked ../emulator/emu gold/compiled/MSS.red | diff -u gold/run/MSS.out - && touch MSS.emu-checked ../emulator/emu gold/compiled/Braun.red | diff -u gold/run/Braun.out - && touch Braun.emu-checked ../emulator/emu gold/compiled/Clausify.red | diff -u gold/run/Clausify.out - && touch Clausify.emu-checked ../emulator/emu gold/compiled/Queens.red | diff -u gold/run/Queens.out - && touch Queens.emu-checked ../emulator/emu gold/compiled/OrdList.red | diff -u gold/run/OrdList.out - && touch OrdList.emu-checked ../emulator/emu gold/compiled/Queens2.red | diff -u gold/run/Queens2.out - && touch Queens2.emu-checked ../emulator/emu gold/compiled/PermSort.red | diff -u gold/run/PermSort.out - && touch PermSort.emu-checked ../emulator/emu gold/compiled/SumPuz.red | diff -u gold/run/SumPuz.out - && touch SumPuz.emu-checked ../emulator/emu gold/compiled/Mate2.red | diff -u gold/run/Mate2.out - && touch Mate2.emu-checked ../emulator/emu gold/compiled/Mate.red | diff -u gold/run/Mate.out - && touch Mate.emu-checked make[2]: Leaving directory '/workspaces/Reduceron/programs' /usr/bin/make regress-flite-sim make[2]: Entering directory '/workspaces/Reduceron/programs' ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v And.hs | diff -u gold/run/And.out - && touch And.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v SmallFib.hs | diff -u gold/run/SmallFib.out - && touch SmallFib.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v Example.hs | diff -u gold/run/Example.out - && touch Example.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v Fib.hs | diff -u gold/run/Fib.out - && touch Fib.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v Parts.hs | diff -u gold/run/Parts.out - && touch Parts.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v CountDown.hs | diff -u gold/run/CountDown.out - && touch CountDown.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v KnuthBendix.hs | diff -u gold/run/KnuthBendix.out - && touch KnuthBendix.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v Adjoxo.hs | diff -u gold/run/Adjoxo.out - && touch Adjoxo.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v Cichelli.hs | diff -u gold/run/Cichelli.out - && touch Cichelli.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v Taut.hs | diff -u gold/run/Taut.out - && touch Taut.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v While.hs | diff -u gold/run/While.out - && touch While.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v MSS.hs | diff -u gold/run/MSS.out - && touch MSS.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v Braun.hs | diff -u gold/run/Braun.out - && touch Braun.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v Clausify.hs | diff -u gold/run/Clausify.out - && touch Clausify.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v Queens.hs | diff -u gold/run/Queens.out - && touch Queens.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v OrdList.hs | diff -u gold/run/OrdList.out - && touch OrdList.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v Queens2.hs | diff -u gold/run/Queens2.out - && touch Queens2.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v PermSort.hs | diff -u gold/run/PermSort.out - && touch PermSort.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v SumPuz.hs | diff -u gold/run/SumPuz.out - && touch SumPuz.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v Mate2.hs | diff -u gold/run/Mate2.out - && touch Mate2.flite-sim-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -v Mate.hs | diff -u gold/run/Mate.out - && touch Mate.flite-sim-checked make[2]: Leaving directory '/workspaces/Reduceron/programs' /usr/bin/make regress-flite-comp make[2]: Entering directory '/workspaces/Reduceron/programs' ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s And.hs | ../emulator/emu - | diff -u gold/run/And.out - && touch And.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s SmallFib.hs | ../emulator/emu - | diff -u gold/run/SmallFib.out - && touch SmallFib.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s Example.hs | ../emulator/emu - | diff -u gold/run/Example.out - && touch Example.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s Fib.hs | ../emulator/emu - | diff -u gold/run/Fib.out - && touch Fib.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s Parts.hs | ../emulator/emu - | diff -u gold/run/Parts.out - && touch Parts.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s CountDown.hs | ../emulator/emu - | diff -u gold/run/CountDown.out - && touch CountDown.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s KnuthBendix.hs | ../emulator/emu - | diff -u gold/run/KnuthBendix.out - && touch KnuthBendix.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s Adjoxo.hs | ../emulator/emu - | diff -u gold/run/Adjoxo.out - && touch Adjoxo.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s Cichelli.hs | ../emulator/emu - | diff -u gold/run/Cichelli.out - && touch Cichelli.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s Taut.hs | ../emulator/emu - | diff -u gold/run/Taut.out - && touch Taut.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s While.hs | ../emulator/emu - | diff -u gold/run/While.out - && touch While.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s MSS.hs | ../emulator/emu - | diff -u gold/run/MSS.out - && touch MSS.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s Braun.hs | ../emulator/emu - | diff -u gold/run/Braun.out - && touch Braun.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s Clausify.hs | ../emulator/emu - | diff -u gold/run/Clausify.out - && touch Clausify.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s Queens.hs | ../emulator/emu - | diff -u gold/run/Queens.out - && touch Queens.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s OrdList.hs | ../emulator/emu - | diff -u gold/run/OrdList.out - && touch OrdList.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s Queens2.hs | ../emulator/emu - | diff -u gold/run/Queens2.out - && touch Queens2.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s PermSort.hs | ../emulator/emu - | diff -u gold/run/PermSort.out - && touch PermSort.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s SumPuz.hs | ../emulator/emu - | diff -u gold/run/SumPuz.out - && touch SumPuz.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s Mate2.hs | ../emulator/emu - | diff -u gold/run/Mate2.out - && touch Mate2.flite-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -r6:4:2:1:8 -i1 -s Mate.hs | ../emulator/emu - | diff -u gold/run/Mate.out - && touch Mate.flite-comp-checked make[2]: Leaving directory '/workspaces/Reduceron/programs' /usr/bin/make regress-red-sim make[2]: Entering directory '/workspaces/Reduceron/programs' ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite regress-red-sim isn't implemented, as simulation in York Lava very quickly runs out of memory. make[2]: Leaving directory '/workspaces/Reduceron/programs' /usr/bin/make regress-flite-c-comp make[2]: Entering directory '/workspaces/Reduceron/programs' ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c And.hs > And.c ./And.exe | diff -u gold/run/And.out - && touch And.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c SmallFib.hs > SmallFib.c ./SmallFib.exe | diff -u gold/run/SmallFib.out - && touch SmallFib.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c Example.hs > Example.c ./Example.exe | diff -u gold/run/Example.out - && touch Example.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c Fib.hs > Fib.c ./Fib.exe | diff -u gold/run/Fib.out - && touch Fib.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c Parts.hs > Parts.c ./Parts.exe | diff -u gold/run/Parts.out - && touch Parts.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c CountDown.hs > CountDown.c ./CountDown.exe | diff -u gold/run/CountDown.out - && touch CountDown.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c KnuthBendix.hs > KnuthBendix.c ./KnuthBendix.exe | diff -u gold/run/KnuthBendix.out - && touch KnuthBendix.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c Adjoxo.hs > Adjoxo.c ./Adjoxo.exe | diff -u gold/run/Adjoxo.out - && touch Adjoxo.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c Cichelli.hs > Cichelli.c ./Cichelli.exe | diff -u gold/run/Cichelli.out - && touch Cichelli.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c Taut.hs > Taut.c ./Taut.exe | diff -u gold/run/Taut.out - && touch Taut.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c While.hs > While.c ./While.exe | diff -u gold/run/While.out - && touch While.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c MSS.hs > MSS.c ./MSS.exe | diff -u gold/run/MSS.out - && touch MSS.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c Braun.hs > Braun.c ./Braun.exe | diff -u gold/run/Braun.out - && touch Braun.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c Clausify.hs > Clausify.c ./Clausify.exe | diff -u gold/run/Clausify.out - && touch Clausify.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c Queens.hs > Queens.c ./Queens.exe | diff -u gold/run/Queens.out - && touch Queens.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c OrdList.hs > OrdList.c ./OrdList.exe | diff -u gold/run/OrdList.out - && touch OrdList.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c Queens2.hs > Queens2.c ./Queens2.exe | diff -u gold/run/Queens2.out - && touch Queens2.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c PermSort.hs > PermSort.c ./PermSort.exe | diff -u gold/run/PermSort.out - && touch PermSort.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c SumPuz.hs > SumPuz.c ./SumPuz.exe | diff -u gold/run/SumPuz.out - && touch SumPuz.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c Mate2.hs > Mate2.c ./Mate2.exe | diff -u gold/run/Mate2.out - && touch Mate2.flite-c-comp-checked ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite -h3 -i1 -c Mate.hs > Mate.c ./Mate.exe | diff -u gold/run/Mate.out - && touch Mate.flite-c-comp-checked rm Braun.exe Mate2.c KnuthBendix.c OrdList.c CountDown.exe And.c Adjoxo.c KnuthBendix.exe OrdList.exe And.exe Adjoxo.exe CountDown.c PermSort.c Mate2.exe Example.c SumPuz.c Taut.c PermSort.exe Example.exe Taut.exe While.c SmallFib.c Queens2.exe Queens2.c Queens.c While.exe Parts.c MSS.c SumPuz.exe Queens.exe Mate.c Clausify.exe Parts.exe Cichelli.c MSS.exe Mate.exe Cichelli.exe Clausify.c SmallFib.exe Fib.exe Braun.c Fib.c make[2]: Leaving directory '/workspaces/Reduceron/programs' /usr/bin/make regress-red-verilog-sim make[2]: Entering directory '/workspaces/Reduceron/programs' ../flite/.stack-work/dist/x86_64-linux-tinfo6-libc6-pre232/ghc-9.8.4/build/flite/flite Skipping Verilog simulation. make[2]: Leaving directory '/workspaces/Reduceron/programs' make[1]: Leaving directory '/workspaces/Reduceron/programs' SUCCESS ```