diff --git a/script.sh b/script.sh deleted file mode 100644 index a2d3e42..0000000 --- a/script.sh +++ /dev/null @@ -1,8 +0,0 @@ -heptc arduinolib.epi -heptc -target c prog.ept -gcc -c -I /Users/megidervishi/.opam/4.10.0/lib/heptagon/c -I . arduinolib.c prog_c/*.c - -$(TARGET).c: - heptc $(CFILE).epi - heptc -target c $(HEPT).ept - $(CC) $(CFLAGS) -c -I $(ADDR) -I . $(CFILE).c $(TARGET).c