From c7b91032cd5bd8ab70d0a0c2782f2b9ede58e88e Mon Sep 17 00:00:00 2001
From: megidervishi <megidervishi@noreply.localhost>
Date: Mon, 14 Dec 2020 20:28:57 +0100
Subject: [PATCH] Delete 'script.sh'

---
 script.sh | 8 --------
 1 file changed, 8 deletions(-)
 delete mode 100644 script.sh

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