Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix broken implementation of 'urweb daemon stop' | Austin Seipp | 2012-11-28 |
| | |||
* | Add list of files to new error message | Adam Chlipala | 2012-08-18 |
| | |||
* | Better error message for funky command lines | Adam Chlipala | 2012-08-18 |
| | |||
* | -dumpTypesOnError | Adam Chlipala | 2012-05-05 |
| | |||
* | Send daemon output to calling process | Adam Chlipala | 2012-05-05 |
| | |||
* | Add support for -boot flag, which allows in-tree execution of Ur/Web | Edward Z. Yang | 2012-05-02 |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | The boot flag rewrites most hardcoded paths to point to the build directory, and also forces static compilation. This is convenient for developing Ur/Web, or if you cannot 'sudo make install' Ur/Web. The following changes were made: * Header files were moved to include/urweb instead of include; this lets FFI users point their C_INCLUDE_PATH at this directory at write <urweb/urweb.h>. For internal Ur/Web executables, we simply pass -I$PATH/include/urweb as normal. * Differentiate between LIB and SRCLIB; SRCLIB is Ur and JavaScript source files, while LIB is compiled products from libtool. For in-tree compilation these live in different places. * No longer reference Config for paths; instead use Settings; these settings can be changed dynamically by Compiler.enableBoot () (TODO: add a disableBoot function.) * config.h is now generated directly in include/urweb/config.h, for consistency's sake (especially since it gets installed along with the rest of the headers!) * All of the autotools build products got updated. * The linkStatic field in protocols now only contains the name of the build product, and not the absolute path. Future users have to be careful not to reference the Settings files to early, lest they get an old version (this was the source of two bugs during development of this patch.) | ||
* | 'urweb daemon start' and 'urweb daemon stop' | Adam Chlipala | 2012-04-29 |
| | |||
* | -unifyMore | Adam Chlipala | 2012-04-22 |
| | |||
* | -dumpSource flag; Especialize tweak: may specialize any argument sequence ↵ | Adam Chlipala | 2012-01-12 |
| | | | | ending in a value of function-containing type | ||
* | Compiler frees as much memory as possible before passing control to C compiler | Adam Chlipala | 2011-08-15 |
| | |||
* | '-dumpTypes' | Adam Chlipala | 2011-08-07 |
| | |||
* | Tracking and printing of version numbers (based on a patch by Austin Seipp) | Adam Chlipala | 2011-08-02 |
| | |||
* | Generated pretty-printed HTML for a simple tutorial source file | Adam Chlipala | 2011-07-15 |
| | |||
* | -prefix command-line option | Adam Chlipala | 2010-12-12 |
| | |||
* | Interface for setting memory limits | Adam Chlipala | 2010-10-14 |
| | |||
* | Demo improvements | Adam Chlipala | 2010-09-30 |
| | |||
* | -moduleOf command-line option; compatibility fixes and better error messages ↵ | Adam Chlipala | 2010-05-27 |
| | | | | for SQLite | ||
* | Command-line use of Iflow | Adam Chlipala | 2010-04-13 |
| | |||
* | -verbose | Adam Chlipala | 2010-03-04 |
| | |||
* | Basic analysis of tag and CSS class usage | Adam Chlipala | 2010-02-27 |
| | |||
* | sigfile directive | Adam Chlipala | 2010-02-11 |
| | |||
* | -path and -root command-line flags | Adam Chlipala | 2010-01-12 |
| | |||
* | Dynamic linking of the runtime system | Adam Chlipala | 2009-12-27 |
| | |||
* | -tc flag | Adam Chlipala | 2009-12-24 |
| | |||
* | Refactor compile functions; allow empty tag contents | Adam Chlipala | 2009-11-25 |
| | |||
* | More command-line options | Adam Chlipala | 2009-07-18 |
| | |||
* | Start of multi-DBMS support | Adam Chlipala | 2009-06-28 |
| | |||
* | -debug from the command line | Adam Chlipala | 2009-06-27 |
| | |||
* | cgi protocol | Adam Chlipala | 2009-06-23 |
| | |||
* | Some demo improvements | Adam Chlipala | 2008-11-20 |
| | |||
* | Building combined demo app | Adam Chlipala | 2008-10-19 |
| | |||
* | Proper configuration and installation | Adam Chlipala | 2008-10-19 |
| | |||
* | Update MLton main file | Adam Chlipala | 2008-09-02 |
| | |||
* | -timing option for command-line compiler | Adam Chlipala | 2008-08-16 |
| | |||
* | Command-line compiler goes the whole nine yards | Adam Chlipala | 2008-07-10 |
| | |||
* | Update main.mlton for group compilation | Adam Chlipala | 2008-06-22 |
| | |||
* | Lexer/parser hacks to share code between regular and signature file parsers | Adam Chlipala | 2008-06-22 |
| | |||
* | Update main.mlton | Adam Chlipala | 2008-06-10 |
| | |||
* | Tree-shaking | Adam Chlipala | 2008-06-08 |
| | |||
* | Some con reducing | Adam Chlipala | 2008-06-08 |
| | |||
* | Primitive type constants | Adam Chlipala | 2008-06-08 |
| | |||
* | Initial parsing and pretty-printing | Adam Chlipala | 2008-01-26 |
| | |||
* | Initial skeleton | Adam Chlipala | 2008-01-26 |