Skip to content

Commit

Permalink
update make and readme
Browse files Browse the repository at this point in the history
  • Loading branch information
mhhf committed Apr 23, 2018
1 parent d50fb0e commit 6e93cad
Show file tree
Hide file tree
Showing 2 changed files with 12 additions and 1 deletion.
2 changes: 1 addition & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ prefix ?= /usr/local

dirs:; mkdir -p $(prefix)/$(dirs)
files = $(shell ls -d $(dirs)/*)
link: uninstall dirs; for x in $(files); do \
link: uninstall dirs; npm i; for x in $(files); do \
ln -s `pwd`/$$x $(prefix)/$$x; done
uninstall:; rm -rf $(addprefix $(prefix)/,$(files))

Expand Down
11 changes: 11 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,3 +1,14 @@
## Kdebug
modified K-framework debugger.
** This is a hacky version for internal usage, if you have questions ask @denis at dapphub.chat **

## SetUp

```git clone git@github.com:dapphub/kdebug.git
cd kdebug
make
```

## Usage
use it with the modified k-framework client
go to the directory where your `debug.json` is stored and execute `kdebug`

0 comments on commit 6e93cad

Please sign in to comment.