kframework/k — pull request #1008 by osa1 (2014-09-27 20:22:54+00:00)
Title: kompile should only create a directory if definition exists

This is a very simple fix for #986.

Note that this may not be flexible enough for new features. A more advanced implementation might provide an API to access to "-kompiled" directory and then generate the directory only when a request to put a file in that directory is happened. (e.g. we can create the directory lazily)

If you want I can also implement that.