Update Reduceron Build Setup: Dependency Management and Updated Documentation #43

Yashashwini2003 · 2024-12-09T17:56:16Z

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

Yashashwini2003 · 2024-12-09T18:06:43Z

Note to reviewers: I had tried this issue yesterday and fixed build issues but I have messed up with setting it up in the Windows Linux subsystem nearly 6 hours of time in making compat to Windows System and lately realised it doesn't work well of compilation failiures there and today I have taken time to fix it within 10 minutes with my friends macOS and pushed here just now

Yashashwini2003 · 2024-12-09T18:15:42Z

@tommythorn It took some time to fix the build issues, but now the entire setup process can be completed in under 10 minutes! 🎉

In light of challenges I faced earlier, I have included detailed and clear setup instructions in the README to make the setup process smoother for new contributors. Now, the build process is streamlined and dependencies are properly managed where everything is documented. Hope this helps others dive in easily!

tommythorn · 2024-12-09T19:08:43Z

Thank you. Were you aiming to claim the bounty? If I'm sorry that Algora requires you to commit /claim #40 in the issue. I'm in the awkward position that this issue has been opened for years with no movement but now within 24 hours I have two [potential] fixes.

@Neptune650 did /claim and submitted a fix (I'm still evaluating if it's a complete fix) earlier.

Neptune650 · 2024-12-09T19:13:33Z

Thank you. Were you aiming to claim the bounty? If I'm sorry that Algora requires you to commit /claim #40 in the issue. I'm in the awkward position that this issue has been opened for years with no movement but now within 24 hours I have two [potential] fixes.

@Neptune650 did /claim and submitted a fix (I'm still evaluating if it's a complete fix) earlier.

@tommythorn I'd like to point out that our pull requests do effectively the same changes except for the difference that this pull request uses the same workaround that didn't work for you earlier using find in the programs makefile.

algora-pbc · 2024-12-09T19:57:30Z

💵 To receive payouts, sign up on Algora, link your Github account and connect with Stripe.

Yashashwini2003 · 2024-12-09T20:01:19Z

@tommythorn I have tried the workaround and the it clearly got succeeded and you can check in the logs provided in terminal without any isssues and with a few fixes it got working as without hardcoded path

Yashashwini2003 · 2024-12-09T20:08:30Z

@tommythorn You can try the specific README instructions I have documented by pulling this PR. You can easily get done build success

fix build to cleanly build from scratch

2947042

Yashashwini2003 force-pushed the fix/build branch from 5947a93 to 2947042 Compare December 9, 2024 18:29

Merge branch 'master' into fix/build

b1c1281

algora-pbc bot mentioned this pull request Dec 9, 2024

Update Reduceron to build and follow best practices for GHC/Cabal/Stack #40

Closed

algora-pbc bot added the 🙋 Bounty claim label Dec 9, 2024

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Update Reduceron Build Setup: Dependency Management and Updated Documentation #43

Update Reduceron Build Setup: Dependency Management and Updated Documentation #43

Yashashwini2003 commented Dec 9, 2024 •

edited

Loading

Yashashwini2003 commented Dec 9, 2024 •

edited

Loading

Yashashwini2003 commented Dec 9, 2024 •

edited

Loading

tommythorn commented Dec 9, 2024

Neptune650 commented Dec 9, 2024

algora-pbc bot commented Dec 9, 2024

Yashashwini2003 commented Dec 9, 2024

Yashashwini2003 commented Dec 9, 2024

Update Reduceron Build Setup: Dependency Management and Updated Documentation #43

Are you sure you want to change the base?

Update Reduceron Build Setup: Dependency Management and Updated Documentation #43

Conversation

Yashashwini2003 commented Dec 9, 2024 • edited Loading

Yashashwini2003 commented Dec 9, 2024 • edited Loading

Yashashwini2003 commented Dec 9, 2024 • edited Loading

tommythorn commented Dec 9, 2024

Neptune650 commented Dec 9, 2024

algora-pbc bot commented Dec 9, 2024

Yashashwini2003 commented Dec 9, 2024

Yashashwini2003 commented Dec 9, 2024

Yashashwini2003 commented Dec 9, 2024 •

edited

Loading

Yashashwini2003 commented Dec 9, 2024 •

edited

Loading

Yashashwini2003 commented Dec 9, 2024 •

edited

Loading