8 lines
255 B
Bash
8 lines
255 B
Bash
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
|