Makefile (190B)
1 SOURCE=esterel.hs lustre.hs produce.hs main.hs checker.hs parse.hs scope.hs label.hs compile.hs 2 3 all: $(SOURCE) 4 ghc -W -o kesterel2lustre --make $(SOURCE) 5 6 clean: 7 rm -f *.o *.hi project 8
kesterel2lustrecompile Kernel Esterel to Lustre | |
git clone https://a3nm.net/git/kesterel2lustre/ | |
Log | Files | Refs | README |