summaryrefslogtreecommitdiff
path: root/src/compiler.sml
Commit message (Collapse)AuthorAge
* 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
|
* Proper error messages for missing source filesGravatar Adam Chlipala2012-05-26
|
* New optional suffice for 'rewrite' in .urp files: [-]Gravatar Adam Chlipala2012-05-06
|
* Report which files lead to duplicate module namesGravatar Adam Chlipala2012-05-04
|
* 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.)
* Catch duplicate top-level module names; fix dropping of constraints during ↵Gravatar Adam Chlipala2012-05-03
| | | | incremental elaboration; document treatment of record types as type class instance types
* 'urweb daemon start' and 'urweb daemon stop'Gravatar Adam Chlipala2012-04-29
|
* Initial support for reusing elaboration resultsGravatar Adam Chlipala2012-04-29
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-12-02 10:15:52 +0000