summaryrefslogtreecommitdiff
path: root/src/compiler.mlb
Commit message (Collapse)AuthorAge
* Allow building in a separate build directoryGravatar Anders Kaseorg2013-11-22
| | | | | | | | | | Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- Makefile.am | 30 +++--- src/c/Makefile.am | 2 +- src/compiler.mlb | 2 +- src/sources | 302 +++++++++++++++++++++++++++--------------------------- 4 files changed, 168 insertions(+), 168 deletions(-)
* Compiler frees as much memory as possible before passing control to C compilerGravatar Adam Chlipala2011-08-15
|
* Use Ur/Web library .mlbGravatar Adam Chlipala2009-05-10