debian-urweb - Debian packaging for Ur/Web

	Commit message (Collapse)	Author	Age
*	Make Scriptcheck catch more script/message-passing uses, and move the phase ↵	Adam Chlipala	2013-03-15
\| \| \| \|	earlier in compilation
*	Switch linker order	Adam Chlipala	2012-10-20
\|
*	Edward Z. Yang's patch to avoid repeating linker arguments	Adam Chlipala	2012-09-19
\|
*	Added 'coreInline' and 'monoInline' .urp options	Vladimir Shabanov	2012-09-04
\|
*	New NameJs phase, still needing some debugging	Adam Chlipala	2012-08-02
\|
*	Basis.getenv	Adam Chlipala	2012-08-02
\|
*	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
\|