From c02b5d1c427b4a203eef65e2f05d1e3faa066fbb Mon Sep 17 00:00:00 2001
From: Charles <sircharlesaze@gmail.com>
Date: Fri, 6 Sep 2019 15:09:46 +0200
Subject: added ghci and gdb config files

---
 Makefile | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 1550bc4..2dfe73d 100644
--- a/Makefile
+++ b/Makefile
@@ -5,8 +5,10 @@ TMUXCONF = .tmux.conf
 BASHRC = .bashrc
 BASHALIAS = .bash_aliases
 PROFILE = .profile
+GHCI = .ghci
+GDB = .gdbinit
 CONFFILES = $(HOME)/$(ZSHRC) $(HOME)/$(VIMRC) $(HOME)/$(TMUXCONF) $(HOME)/$(BASHRC) \
-			$(HOME)/$(BASHALIAS) $(HOME)/$(PROFILE)
+			$(HOME)/$(BASHALIAS) $(HOME)/$(PROFILE) $(HOME)/$(GHCI) $(HOME)/$(GDB)
 
 .PHONY: all
 all: $(CONFFILES)
@@ -35,6 +37,14 @@ $(HOME)/$(PROFILE): $(DOTDIR)/$(PROFILE)
 	touch $@
 	echo "source $<" > $@
 
+$(HOME)/$(GHCI): $(DOTDIR)/$(GHCI)
+	touch $@
+	cat $< > $@
+
+$(HOME)/$(GDB): $(DOTDIR)/$(GDB)
+	touch $@
+	cat $< > $@
+
 .PHONY: clean
 clean:
 	rm -f $(CONFFILES)
-- 
cgit