Getting rid of intermediate *.c and *.h files.

stepcut · May 12, 2020 · d25bb68 · d25bb68
1 parent 8fedf28
commit d25bb68
Show file tree

Hide file tree

Showing 5 changed files with 7 additions and 23 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,4 @@
 *.ibc
 *.o
 /build-*
+/[A-Z]*.c
diff --git a/Blink.idr b/Blink.idr
@@ -1,15 +1,15 @@
 module Main
 
-%include C "idris_arduino.h"
+%include C "Arduino.h"
 
 digitalWrite : Int -> Int -> IO ()
-digitalWrite pin val = foreign FFI_C "idrard_digitalWrite" (Int -> Int -> IO ()) pin val
+digitalWrite pin val = foreign FFI_C "digitalWrite" (Int -> Int -> IO ()) pin val
 
 pinMode : Int -> Int -> IO ()
-pinMode pin mode = foreign FFI_C "idrard_pinMode" (Int -> Int -> IO ()) pin mode
+pinMode pin mode = foreign FFI_C "pinMode" (Int -> Int -> IO ()) pin mode
 
 delay : Int -> IO ()
-delay ms = foreign FFI_C "idrard_delay" (Int -> IO ()) ms
+delay ms = foreign FFI_C "delay" (Int -> IO ()) ms
 
 blink : Int -> Int -> IO ()
 blink pin t = do digitalWrite pin 1

diff --git a/Idris.mk b/Idris.mk
@@ -14,7 +14,8 @@ RTS_OBJS = \
 	$(OBJDIR)/rts/idris_heap.o \
 	$(OBJDIR)/rts/mini-gmp.o
 
-OTHER_OBJS += $(RTS_OBJS) $(IDRIS_MAIN:.idr=.o)
+LOCAL_C_SRCS += $(IDRIS_MAIN:.idr=.c)
+OTHER_OBJS += $(RTS_OBJS)
 
 include $(ARDUINO_MAKEFILE_PATH)
 

diff --git a/idris_arduino.c b/idris_arduino.c
diff --git a/idris_arduino.h b/idris_arduino.h