Delete 'script.sh'

3 years ago · c7b91032cd
parent 8afa37d3e9
commit c7b91032cd
1 changed files with 0 additions and 8 deletions
--- a/script.sh
+++ b/script.sh
@ -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