summaryrefslogtreecommitdiff
path: root/src/compiler.sml
Commit message (Collapse)AuthorAge
* 'filecache' .urp directive, fixing a longstanding MonoUtil bug in the processGravatar Adam Chlipala2018-06-03
|
* New .urp directives: mimeTypes and long form of fileGravatar Adam Chlipala2017-10-01
|
* Option to prefix all user JavaScript FFI functions with a module name ↵Gravatar Vladimir Shabanov2017-06-15
| | | | (jsModule .urp option).
* Better error message for .urp files with too many blank linesGravatar Adam Chlipala2017-03-17
|
* Proper ordering when libraries are included recursively (fixes #56)Gravatar Adam Chlipala2016-12-31
|
* Make HTML5 the default and add 'xhtml' .urp directiveGravatar Adam Chlipala2016-09-20
|
* HTTP Last-Modified: latest modtime of source filesGravatar Jacob Mitchell2016-09-07
| | | | See issue #38.
* Increase default timeout to cope with behavior of some Chrome versionsGravatar Adam Chlipala2016-05-16
|
* Support for <meta> tagsGravatar Adam Chlipala2016-05-15
|
* Finish removing PWild; only load a library once, even if referenced multiple ↵Gravatar Adam Chlipala2016-02-07
| | | | times in a .urp tree
* Tweaking discovery of Pthreads C flagsGravatar Adam Chlipala2016-01-16
|
* 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.
* Prevent pthread cflags options from being passed to linkerGravatar Eran Meir2016-01-02
| | | | (in order to fix build issue on mac)
* Merge SqlcacheGravatar Adam Chlipala2015-12-20
|\
* | New .urp directive: jsFileGravatar Adam Chlipala2015-12-05
| |
* | Make daemon mode support sharing of libraries across projectsGravatar Adam Chlipala2015-11-22
| |
| * Support nested queries but disable UrFlow for now.Gravatar Ziv Scully2015-11-19
| |
| * Merge.Gravatar Ziv Scully2015-07-19
| |\ | |/ |/|
* | Allow URIs specified in file directives implicitlyGravatar Julian Squires2015-04-24
| | | | | | | | | | | | It seems to me that, by specifying that one wants to serve a given file at a specified URI, one is implying that this URI should be allowed.
| * Merge.Gravatar Ziv Scully2015-03-27
| |\ | |/ |/|
* | Fix resolution of 'file' pathsGravatar Adam Chlipala2015-02-10
| |
* | Broaden handling of wildcard rewritesGravatar Adam Chlipala2014-12-24
| |
| * Complete overhaul: cache queries based on immediate query result, not ↵Gravatar Ziv Scully2014-10-14
| | | | | | | | eventual HTML output.
| * Merge.Gravatar Ziv Scully2014-09-13
| |\ | |/ |/|
* | In computing command lines, put filenames inside of quotes, to support ↵Gravatar Adam Chlipala2014-09-04
| | | | | | | | spaces and other funky characters nicely
* | New phase: DbmodecheckGravatar Adam Chlipala2014-08-17
| |
* | New .urp directive: fileGravatar Adam Chlipala2014-07-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.
| * Removes DBMS choice override from compiler.sml (which was there for debugging).Gravatar Ziv Scully2014-05-30
| |
| * Merge.Gravatar Ziv Scully2014-05-27
| |\ | |/ |/|
| * Finishes initial prototype, caching parameterless pages with ↵Gravatar Ziv Scully2014-05-27
| | | | | | | | table-match-based invalidation. Still has problems parsing non-Postgres SQL dialects properly.
* | New lessSafeFfiGravatar Adam Chlipala2014-05-02
| |
| * ML half of initial prototype. (Doesn't compile because there's no C yet.)Gravatar Ziv Scully2014-03-25
| |
| * Identifies tables read or touched by queries.Gravatar Ziv Scully2014-03-08
|/
* neverInlineGravatar Adam Chlipala2014-02-09
|
* New compiler option: -stopGravatar Adam Chlipala2014-01-19
|
* Add 'html5' .urp directiveGravatar Adam Chlipala2014-01-09
|
* noMangleSql .urp directiveGravatar Adam Chlipala2014-01-04
|
* compileC: Link libraries in the right orderGravatar Anders Kaseorg2013-11-21
| | | | | | | | | | | This is needed, at least on recent Ubuntu, to fix this linker error when compiling any Ur/Web application: ld: /tmp/webapp.o: undefined reference to symbol 'uw_write' Signed-off-by: Anders Kaseorg <andersk@mit.edu> --- src/compiler.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
* Add -ccompiler command line argumentGravatar Sergey Mironov2013-08-20
| | | | This allows user to overwrite the compiler set during the configure phase
* Get -root working properly againGravatar Adam Chlipala2013-09-26
|
* Add Sigcheck phase to avoid issues with signatures in global initializersGravatar Adam Chlipala2013-06-15
|
* Attempt to get more static linking for OpenSSLGravatar Adam Chlipala2013-03-19
|
* Make Scriptcheck catch more script/message-passing uses, and move the phase ↵Gravatar Adam Chlipala2013-03-15
| | | | earlier in compilation
* Switch linker orderGravatar Adam Chlipala2012-10-20
|
* Edward Z. Yang's patch to avoid repeating linker argumentsGravatar Adam Chlipala2012-09-19
|
* Added 'coreInline' and 'monoInline' .urp optionsGravatar Vladimir Shabanov2012-09-04
|
* New NameJs phase, still needing some debuggingGravatar Adam Chlipala2012-08-02
|
* Basis.getenvGravatar Adam Chlipala2012-08-02
|
* Flush elaboration cache when switching between .urp filesGravatar Adam Chlipala2012-06-23
|