From 39813292761c317e9102ee8d00f338bcd4504add Mon Sep 17 00:00:00 2001
From: Yuichi Nishiwaki <yuichi.nishiwaki@gmail.com>
Date: Sat, 15 Apr 2017 18:47:49 +0900
Subject: [PATCH] remove PIC_ABORT

---
 Makefile                   | 6 ++++--
 lib/include/picrin/setup.h | 5 -----
 2 files changed, 4 insertions(+), 7 deletions(-)

diff --git a/Makefile b/Makefile
index 565a5b33..32fc2bcc 100644
--- a/Makefile
+++ b/Makefile
@@ -36,10 +36,10 @@ bootstrap: bin/picrin-bootstrap
 bin/picrin-bootstrap:
 	test -f bin/picrin-bootstrap || { $(MAKE) lib/mini-picrin && mv lib/mini-picrin bin/picrin-bootstrap; }
 
-lib/mini-picrin:
+lib/mini-picrin: FORCE
 	$(MAKE) -C lib mini-picrin
 
-lib/libpicrin.a:
+lib/libpicrin.a: FORCE
 	$(MAKE) -C lib libpicrin.a
 
 ext: lib/ext/eval.c
@@ -108,4 +108,6 @@ clean:
 	$(RM) $(PICRIN_OBJS)
 	$(RM) $(CONTRIB_OBJS)
 
+FORCE:
+
 .PHONY: all bootstrap ext install clean push test test-r7rs test-contribs test-issue test-picrin-issue test-repl-issue doc $(CONTRIB_TESTS) $(REPL_ISSUE_TESTS)
diff --git a/lib/include/picrin/setup.h b/lib/include/picrin/setup.h
index 475364e9..95f9ee36 100644
--- a/lib/include/picrin/setup.h
+++ b/lib/include/picrin/setup.h
@@ -47,11 +47,6 @@
 # define PIC_SETJMP(buf) ((void)(buf), 0)
 #endif
 
-#ifndef PIC_ABORT
-void abort(void);
-# define PIC_ABORT(pic) abort()
-#endif
-
 #ifndef PIC_BUFSIZ
 # define PIC_BUFSIZ 1024
 #endif