summaryrefslogtreecommitdiff
path: root/src/main.mlton.sml
Commit message (Collapse)AuthorAge
* urweb daemon restartGravatar Adam Chlipala2019-08-30
|
* Smooth rough edges of daemon command-line behaviorGravatar Adam Chlipala2019-08-30
|
* Including app.js in output of endpointsGravatar Artyom Shalkhakov2019-01-12
|
* -endpoints switch to view all endpoints defined in JSON formatGravatar Artyom Shalkhakov2019-01-07
|
* Add missing flag descriptions to urweb -hGravatar Davor Ocelic2018-12-30
|
* Accept a few other command-line arguments to trigger help text (closes #63)Gravatar Adam Chlipala2018-10-19
|
* Small tweaks to new help textGravatar Adam Chlipala2017-10-01
|
* new flag -help, and refactoring of flag parsing.Gravatar Peter Bock2017-09-29
|
* Adding support for emitting JS to a given file.Gravatar Artyom Shalkhakov2017-03-07
|
* HTTP Last-Modified: latest modtime of source filesGravatar Jacob Mitchell2016-09-07
| | | | See issue #38.
* Change some vector operations to remain compatible with MLton working versionGravatar Adam Chlipala2016-05-29
|
* Untagle boot and static flagsGravatar Eran Meir2016-01-02
| | | | | | Boot flag should build a dynamic executable but link urweb libraries statically (from build tree). This should fix the problem of not being able to build static executables on OSX.
* Merge SqlcacheGravatar Adam Chlipala2015-12-20
|\
* | Make daemon mode support sharing of libraries across projectsGravatar Adam Chlipala2015-11-22
| |
| * Tweak cache consolidation and choose better default.Gravatar Ziv Scully2015-11-20
| |
| * Add consolidation heuristic options.Gravatar Ziv Scully2015-11-19
| |
| * Mostly finish effectfulness analysis.Gravatar Ziv Scully2014-10-31
| |
| * Cleans up interface (it's now a command line option) and renames project to ↵Gravatar Ziv Scully2014-05-31
|/ | | | "sqlcache" in the all-one-word style. Still has issues to do with concurrency, retrying transactions, and foreign function calls that either rely on state or have side effects.
* -explainEmbedGravatar Adam Chlipala2014-03-17
|
* Some more nested functor bug-fixing, including generating fresh internal ↵Gravatar Adam Chlipala2014-02-20
| | | | names at applications; still need to debug issues with datatype constructors
* New compiler option: -stopGravatar Adam Chlipala2014-01-19
|
* Small reformatting and documentation for '-print-cinclude'Gravatar Adam Chlipala2013-12-06
|
* Add -print-cinlude command line optionGravatar Sergey Mironov2013-11-06
|
* Add -print-ccompiler command line optionGravatar Sergey Mironov2013-09-18
|
* Add -ccompiler command line argumentGravatar Sergey Mironov2013-08-20
| | | | This allows user to overwrite the compiler set during the configure phase
* Fix broken implementation of 'urweb daemon stop'Gravatar Austin Seipp2012-11-28
|
* Add list of files to new error messageGravatar Adam Chlipala2012-08-18
|
* Better error message for funky command linesGravatar Adam Chlipala2012-08-18
|
* -dumpTypesOnErrorGravatar Adam Chlipala2012-05-05
|
* Send daemon output to calling processGravatar Adam Chlipala2012-05-05
|
* Add support for -boot flag, which allows in-tree execution of Ur/WebGravatar Edward Z. Yang2012-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'Gravatar Adam Chlipala2012-04-29
|
* -unifyMoreGravatar Adam Chlipala2012-04-22
|
* -dumpSource flag; Especialize tweak: may specialize any argument sequence ↵Gravatar Adam Chlipala2012-01-12
| | | | ending in a value of function-containing type
* Compiler frees as much memory as possible before passing control to C compilerGravatar Adam Chlipala2011-08-15
|
* '-dumpTypes'Gravatar Adam Chlipala2011-08-07
|
* Tracking and printing of version numbers (based on a patch by Austin Seipp)Gravatar Adam Chlipala2011-08-02
|
* Generated pretty-printed HTML for a simple tutorial source fileGravatar Adam Chlipala2011-07-15
|
* -prefix command-line optionGravatar Adam Chlipala2010-12-12
|
* Interface for setting memory limitsGravatar Adam Chlipala2010-10-14
|
* Demo improvementsGravatar Adam Chlipala2010-09-30
|
* -moduleOf command-line option; compatibility fixes and better error messages ↵Gravatar Adam Chlipala2010-05-27
| | | | for SQLite
* Command-line use of IflowGravatar Adam Chlipala2010-04-13
|
* -verboseGravatar Adam Chlipala2010-03-04
|
* Basic analysis of tag and CSS class usageGravatar Adam Chlipala2010-02-27
|
* sigfile directiveGravatar Adam Chlipala2010-02-11
|
* -path and -root command-line flagsGravatar Adam Chlipala2010-01-12
|
* Dynamic linking of the runtime systemGravatar Adam Chlipala2009-12-27
|
* -tc flagGravatar Adam Chlipala2009-12-24
|
* Refactor compile functions; allow empty tag contentsGravatar Adam Chlipala2009-11-25
|