Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Flush elaboration cache when switching between .urp files | Adam Chlipala | 2012-06-23 |
| | |||
* | Proper error messages for missing source files | Adam Chlipala | 2012-05-26 |
| | |||
* | New optional suffice for 'rewrite' in .urp files: [-] | Adam Chlipala | 2012-05-06 |
| | |||
* | Report which files lead to duplicate module names | Adam Chlipala | 2012-05-04 |
| | |||
* | 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.) | ||
* | Catch duplicate top-level module names; fix dropping of constraints during ↵ | Adam Chlipala | 2012-05-03 |
| | | | | incremental elaboration; document treatment of record types as type class instance types | ||
* | 'urweb daemon start' and 'urweb daemon stop' | Adam Chlipala | 2012-04-29 |
| | |||
* | Initial support for reusing elaboration results | Adam Chlipala | 2012-04-29 |
| | |||
* | 'linker' .urp directive | Adam Chlipala | 2012-04-22 |
| | |||
* | Delete C temporary directories, even if other files wind up there | Adam Chlipala | 2012-03-13 |
| | |||
* | -dumpSource flag; Especialize tweak: may specialize any argument sequence ↵ | Adam Chlipala | 2012-01-12 |
| | | | | ending in a value of function-containing type | ||
* | Change linking argument order, based on reported problems in Ubuntu 11.10 | Adam Chlipala | 2012-01-05 |
| | |||
* | Allow .urp libraries to set prefix | Adam Chlipala | 2011-12-17 |
| | |||
* | timeFormat .urp directive | Adam Chlipala | 2011-12-04 |
| | |||
* | Yet another fix to previous change | Adam Chlipala | 2011-11-20 |
| | |||
* | Fix bug in previous change | Adam Chlipala | 2011-11-20 |
| | |||
* | Don't treat comment-only lines as blank, in determining split point of .urp ↵ | Adam Chlipala | 2011-11-20 |
| | | | | files | ||
* | Better error messages about server-side use of client-side functions | Adam Chlipala | 2011-11-14 |
| | |||
* | Disable C optimization in debug mode | Adam Chlipala | 2011-09-11 |
| | |||
* | Compiler frees as much memory as possible before passing control to C compiler | Adam Chlipala | 2011-08-15 |
| | |||
* | Configure correct C compiler options for Pthreads | Adam Chlipala | 2011-08-04 |
| | |||
* | Remove some GCC-specific identifier choice and documentation | Adam Chlipala | 2011-08-02 |
| | |||
* | A few more tweaks to support Clang (including ending use of nested functions) | Adam Chlipala | 2011-07-23 |
| | |||
* | Stop using -fno-inline by default | Adam Chlipala | 2011-07-23 |
| | |||
* | For non-debug builds, leave out source location info in what is shown to user | Adam Chlipala | 2011-07-03 |
| | |||
* | 'noXsrfProtection' .urp directive | Adam Chlipala | 2011-06-24 |
| | |||
* | Fixes to work nicely with OS X and Clang (thanks to Austin Seipp) | Adam Chlipala | 2011-06-17 |
| | |||
* | Handle spaces in filenames passed to GCC (caught by Zachary Tatlock) | Adam Chlipala | 2011-06-15 |
| | |||
* | getHeader and setHeader | Adam Chlipala | 2011-05-29 |
| | |||
* | Change order of linking database libraries to satisfy Cygwin | Adam Chlipala | 2011-03-12 |
| | |||
* | Ignore JavaScript events in Effectize; allow extra spaces for 'jsFunc'; eat ↵ | Adam Chlipala | 2011-03-10 |
| | | | | carriage returns at line ends in .urp files | ||
* | Use sigFile again; do redirects in a way that is compatible with FastCGI | Adam Chlipala | 2011-01-20 |
| | |||
* | Patch from Vladimir Shabanov to support crypt under OS X | Adam Chlipala | 2011-01-16 |
| | |||
* | Use -debug flag properly when compiling in single-source mode | Adam Chlipala | 2011-01-15 |
| | |||
* | Allow subqueries to reference aggregate-only columns of free tables; treat ↵ | Adam Chlipala | 2011-01-15 |
| | | | | non-COUNT aggregate functions as possibly returning NULL | ||
* | alwaysInline .urp setting | Adam Chlipala | 2011-01-13 |
| | |||
* | Detect missing 'database' directive; don't compile garbage C files | Adam Chlipala | 2011-01-06 |
| | |||
* | Switch from libmhash to OpenSSL | Adam Chlipala | 2010-12-26 |
| | |||
* | Add an extra Especialize pass before Rpcify | Adam Chlipala | 2010-12-24 |
| | |||
* | Enforce character constraints on source filenames | Adam Chlipala | 2010-12-16 |
| | |||
* | Allow use of path variables in strings with no slashes | Adam Chlipala | 2010-12-14 |
| | |||
* | Better treatment of relative paths in .urp files | Adam Chlipala | 2010-12-14 |
| | |||
* | Fix merging of prefix settings | Adam Chlipala | 2010-12-12 |
| | |||
* | -prefix command-line option | Adam Chlipala | 2010-12-12 |
| | |||
* | minHeap option in .urp files | Adam Chlipala | 2010-12-11 |
| | |||
* | Comments in .urp files | Adam Chlipala | 2010-12-11 |
| | |||
* | Karn Kallio's patch for static mhash linking | Adam Chlipala | 2010-11-18 |
| | |||
* | Interface for setting memory limits | Adam Chlipala | 2010-10-14 |
| | |||
* | Shortcut invocations for single .ur files | Adam Chlipala | 2010-09-07 |
| | |||
* | Server-side 'onError' | Adam Chlipala | 2010-09-07 |
| |