init

kframework · Apr 23, 2018 · d50fb0e · d50fb0e
commit d50fb0e
Show file tree

Hide file tree

Showing 6 changed files with 740 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1 @@
+node_modules/
diff --git a/Makefile b/Makefile
@@ -0,0 +1,14 @@
+default: link
+
+SHELL = bash
+dirs = {bin,libexec}
+prefix ?= /usr/local
+
+dirs:; mkdir -p $(prefix)/$(dirs)
+files = $(shell ls -d $(dirs)/*)
+link: uninstall dirs; for x in $(files); do \
+	ln -s `pwd`/$$x $(prefix)/$$x; done
+uninstall:; rm -rf $(addprefix $(prefix)/,$(files))
+
+clean:
+	rm -fdR out/*
diff --git a/README.md b/README.md
@@ -0,0 +1,3 @@
+## Kdebug
+modified K-framework debugger.
+** This is a hacky version for internal usage, if you have questions ask @denis at dapphub.chat **