Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
| | | * | Merge pull request #10 from eranmeir/pthread_linker_flags | Adam Chlipala | 2016-01-02 | |
| | | |\ | | | | | | | | | | | Prevent pthread cflags options from being passed to linker | |||
| | | * | | Merge pull request #11 from JasonGross/update-mlton-tap | Adam Chlipala | 2016-01-02 | |
| | |/| | | | | | | | | | | | | Update the homebrew tap for mlton | |||
| | | | * | Untagle boot and static flags | Eran Meir | 2016-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. | |||
| | | | | * | Untagle boot and static flags | Eran Meir | 2016-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. | |||
| | | * | | | Update the homebrew tap for mlton | Jason Gross | 2016-01-01 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This version of the tap has mlton looking for libgmp.a in the correct directory. | |||
| | | | * | | Remove static linking enforcement when passing -boot flag | Eran Meir | 2016-01-02 | |
| | | | |/ | ||||
| | | | * | updating mlton tap | Eran Meir | 2016-01-02 | |
| | | | | | ||||
| | | | * | Prevent pthread cflags options from being passed to linker | Eran Meir | 2016-01-02 | |
| | | |/ | | |/| | | | | | | | | | (in order to fix build issue on mac) | |||
| | * | | Fix issue with enumerated types and dependency order | Adam Chlipala | 2016-01-01 | |
| | |/ | ||||
| | * | Upgrade M4 macros for pthreads and remove custom workaround | Adam Chlipala | 2015-12-31 | |
| | | | ||||
| | * | A simple eta rule for constructor-level tuples | Adam Chlipala | 2015-12-31 | |
| | | | ||||
| | * | Some bugs related to kind-checking tuples | Adam Chlipala | 2015-12-31 | |
| | | | ||||
| | * | Merge pull request #6 from JasonGross/autoconf | Adam Chlipala | 2015-12-31 | |
| | |\ | | | | | | | | | Move some things around in configure.ac | |||
| | * \ | Merge pull request #5 from vizziv/master | Adam Chlipala | 2015-12-31 | |
| | |\ \ | | | | | | | | | | | Remove duplicate typedef declarations. | |||
| | * \ \ | Merge pull request #2 from JasonGross/travis-yml | Adam Chlipala | 2015-12-31 | |
| | |\ \ \ | | | | | | | | | | | | | Add .travis.yml for automated testing | |||
| | | * | | | Pass --with-openssl to make use of brew's openssl on OSX | Jason Gross | 2015-12-30 | |
| | | | | | | ||||
| | | * | | | Also install openssl from brew on OSX in Travis | Jason Gross | 2015-12-30 | |
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | [A Google search](https://github.com/devsisters/gospdyquic/issues/1#issuecomment-102892729) suggests that the problem is that Mac OSX OpenSSL headers are broken. | |||
| | | | | * | Move some things around in configure.ac | Jason Gross | 2015-12-30 | |
| | | |_|/ | | |/| | | | | | | | | | | | | This supresses "WARNING: `missing' script is too old or missing" | |||
| | | | * | Remove duplicate typedef declarations. | Ziv Scully | 2015-12-30 | |
| | | |/ | | |/| | ||||
| | | * | Add tap for mlton on osx | Jason Gross | 2015-12-30 | |
| | | | | ||||
| | | * | Add build status image to README.md | Jason Gross | 2015-12-30 | |
| | | | | ||||
| | | * | Add .travis.yml for automated testing | Jason Gross | 2015-12-30 | |
| | |/ | ||||
* | | | Release for unstable20151220+dfsg-1 | Benjamin Barenblat | 2015-12-23 | |
| | | | ||||
* | | | Build architecture-independent targets with -A (closes Debian #806662) | Benjamin Barenblat | 2015-12-23 | |
| | | | | | | | | | | | | | | | Add appropriate overrides to debian/rules such that dpkg-buildpackage -A will actually build correctly. | |||
* | | | Update symbols files | Benjamin Barenblat | 2015-12-23 | |
| | | | ||||
* | | | Remove unnecessary dh-exec usage | Benjamin Barenblat | 2015-12-23 | |
| | | | ||||
* | | | Devendor uthash | Benjamin Barenblat | 2015-12-23 | |
| | | | ||||
* | | | Update debian/control for GitHub transition | Benjamin Barenblat | 2015-12-23 | |
| | | | ||||
* | | | Update man page | Benjamin Barenblat | 2015-12-23 | |
| | | | | | | | | | | | | | | | Remove references to UrFlow, as the reference manual now describes that subsystem as intentionally undocumented and experimental. Update dates. | |||
* | | | Update debian/changelog | Benjamin Barenblat | 2015-12-23 | |
| | | | ||||
* | | | Merge branch 'dfsg_clean' | Benjamin Barenblat | 2015-12-23 | |
|\| | | ||||
| * | | Merge branch 'upstream' into dfsg_clean20151220+dfsg | Benjamin Barenblat | 2015-12-23 | |
| |\ \ | ||||
| | | * | Remove old Mercurial reference | Adam Chlipala | 2015-12-20 | |
| | | | | ||||
| | | * | Imported to Git from Mercurial | Adam Chlipala | 2015-12-20 | |
| | | | | ||||
| | | * | Return to working version mode | Adam Chlipala | 2015-12-20 | |
| | |/ | ||||
| | * | New release | Adam Chlipala | 2015-12-20 | |
| | | | ||||
| | * | Short manual note on -sqlcache | Adam Chlipala | 2015-12-20 | |
| | | | ||||
| | * | Merge Sqlcache | Adam Chlipala | 2015-12-20 | |
| | |\ | ||||
| | * | | Unnest properly in presence of kind polymorphism | Adam Chlipala | 2015-12-20 | |
| | | | | ||||
| | * | | Fixing dynClass for <tr>s | Adam Chlipala | 2015-12-15 | |
| | | | | ||||
| | * | | Change Postgres schema-checking code to account properly for namespaces | Adam Chlipala | 2015-12-08 | |
| | | | | ||||
| | * | | Document jsFile | Adam Chlipala | 2015-12-05 | |
| | | | | ||||
| | * | | New .urp directive: jsFile | Adam Chlipala | 2015-12-05 | |
| | | | | ||||
| | * | | Fix tricky case of functor signature subsumption | Adam Chlipala | 2015-11-27 | |
| | | | | ||||
| | * | | Reduce: add reduction in some spots previously missed, associated with ↵ | Adam Chlipala | 2015-11-25 | |
| | | | | | | | | | | | | | | | | 'case' return types | |||
* | | | | Release for unstable20151122+dfsg-1 | Benjamin Barenblat | 2015-11-22 | |
| | | | | ||||
* | | | | Update liburweb0 symbols file | Benjamin Barenblat | 2015-11-22 | |
| | | | | ||||
* | | | | Update debian/changelog | Benjamin Barenblat | 2015-11-22 | |
| | | | | ||||
* | | | | Merge branch 'dfsg_clean' | Benjamin Barenblat | 2015-11-22 | |
|\| | | | ||||
| * | | | Merge branch 'upstream' into dfsg_clean20151122+dfsg | Benjamin Barenblat | 2015-11-22 | |
| |\ \ \ |