kframework/c-semantics — pull request #61 by dwightguth (2014-11-21 21:51:13+00:00)
Title: remove nailgun from make file (too tricky to set up dependencies)

@chathhorn please review

I am moving this code out of the Makefile because it has run into issues dealing with starting and stopping the server that are not easy to deal with using Make. The correct way to use the makefile to run with nailgun is to start the server, set the K_NAILGUN env variable, and then run `make`.