-
Notifications
You must be signed in to change notification settings - Fork 0
/
build.bat
9 lines (9 loc) · 1.13 KB
/
build.bat
1
2
3
4
5
6
7
8
9
alex -i legacy-app/Modelling/CdOd//Auxiliary/Lexer.x
happy -i legacy-app/Modelling/CdOd//Auxiliary/Parser.y
cabal exec -- ghc -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints -isrc:legacy-app legacy-app/cd2alloy.hs
cabal exec -- ghc -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints -isrc:legacy-app legacy-app/instance2pic.hs
cabal exec -- ghc -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints -isrc:legacy-app legacy-app/cd2pic.hs
cabal exec -- ghc -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints -isrc:app app/match-cd-od.hs
cabal exec -- ghc -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints -isrc:app app/different-names.hs
cabal exec -- ghc -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints -isrc:app app/repair-incorrect.hs
cabal exec -- ghc -Wall -Wincomplete-uni-patterns -Wincomplete-record-updates -Widentities -Wredundant-constraints -isrc:app app/check-cds.hs