summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
...
| | | * Merge pull request #10 from eranmeir/pthread_linker_flagsGravatar Adam Chlipala2016-01-02
| | | |\ | | | | | | | | | | Prevent pthread cflags options from being passed to linker
| | | * | Merge pull request #11 from JasonGross/update-mlton-tapGravatar Adam Chlipala2016-01-02
| | |/| | | | | | | | | | | | Update the homebrew tap for mlton
| | | | * 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.
| | | | | * 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.
| | | * | | Update the homebrew tap for mltonGravatar Jason Gross2016-01-01
| | | | | | | | | | | | | | | | | | | | | | | | | | | | | | This version of the tap has mlton looking for libgmp.a in the correct directory.
| | | | * | Remove static linking enforcement when passing -boot flagGravatar Eran Meir2016-01-02
| | | | |/
| | | | * updating mlton tapGravatar Eran Meir2016-01-02
| | | | |
| | | | * Prevent pthread cflags options from being passed to linkerGravatar Eran Meir2016-01-02
| | | |/ | | |/| | | | | | | | | (in order to fix build issue on mac)
| | * | Fix issue with enumerated types and dependency orderGravatar Adam Chlipala2016-01-01
| | |/
| | * Upgrade M4 macros for pthreads and remove custom workaroundGravatar Adam Chlipala2015-12-31
| | |
| | * A simple eta rule for constructor-level tuplesGravatar Adam Chlipala2015-12-31
| | |
| | * Some bugs related to kind-checking tuplesGravatar Adam Chlipala2015-12-31
| | |
| | * Merge pull request #6 from JasonGross/autoconfGravatar Adam Chlipala2015-12-31
| | |\ | | | | | | | | Move some things around in configure.ac
| | * \ Merge pull request #5 from vizziv/masterGravatar Adam Chlipala2015-12-31
| | |\ \ | | | | | | | | | | Remove duplicate typedef declarations.
| | * \ \ Merge pull request #2 from JasonGross/travis-ymlGravatar Adam Chlipala2015-12-31
| | |\ \ \ | | | | | | | | | | | | Add .travis.yml for automated testing
| | | * | | Pass --with-openssl to make use of brew's openssl on OSXGravatar Jason Gross2015-12-30
| | | | | |
| | | * | | Also install openssl from brew on OSX in TravisGravatar Jason Gross2015-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.acGravatar Jason Gross2015-12-30
| | | |_|/ | | |/| | | | | | | | | | | | This supresses "WARNING: `missing' script is too old or missing"
| | | | * Remove duplicate typedef declarations.Gravatar Ziv Scully2015-12-30
| | | |/ | | |/|
| | | * Add tap for mlton on osxGravatar Jason Gross2015-12-30
| | | |
| | | * Add build status image to README.mdGravatar Jason Gross2015-12-30
| | | |
| | | * Add .travis.yml for automated testingGravatar Jason Gross2015-12-30
| | |/
* | | Release for unstable20151220+dfsg-1Gravatar Benjamin Barenblat2015-12-23
| | |
* | | Build architecture-independent targets with -A (closes Debian #806662)Gravatar Benjamin Barenblat2015-12-23
| | | | | | | | | | | | | | | Add appropriate overrides to debian/rules such that dpkg-buildpackage -A will actually build correctly.
* | | Update symbols filesGravatar Benjamin Barenblat2015-12-23
| | |
* | | Remove unnecessary dh-exec usageGravatar Benjamin Barenblat2015-12-23
| | |
* | | Devendor uthashGravatar Benjamin Barenblat2015-12-23
| | |
* | | Update debian/control for GitHub transitionGravatar Benjamin Barenblat2015-12-23
| | |
* | | Update man pageGravatar Benjamin Barenblat2015-12-23
| | | | | | | | | | | | | | | Remove references to UrFlow, as the reference manual now describes that subsystem as intentionally undocumented and experimental. Update dates.
* | | Update debian/changelogGravatar Benjamin Barenblat2015-12-23
| | |
* | | Merge branch 'dfsg_clean'Gravatar Benjamin Barenblat2015-12-23
|\| |
| * | Merge branch 'upstream' into dfsg_clean20151220+dfsgGravatar Benjamin Barenblat2015-12-23
| |\ \
| | | * Remove old Mercurial referenceGravatar Adam Chlipala2015-12-20
| | | |
| | | * Imported to Git from MercurialGravatar Adam Chlipala2015-12-20
| | | |
| | | * Return to working version modeGravatar Adam Chlipala2015-12-20
| | |/
| | * New releaseGravatar Adam Chlipala2015-12-20
| | |
| | * Short manual note on -sqlcacheGravatar Adam Chlipala2015-12-20
| | |
| | * Merge SqlcacheGravatar Adam Chlipala2015-12-20
| | |\
| | * | Unnest properly in presence of kind polymorphismGravatar Adam Chlipala2015-12-20
| | | |
| | * | Fixing dynClass for <tr>sGravatar Adam Chlipala2015-12-15
| | | |
| | * | Change Postgres schema-checking code to account properly for namespacesGravatar Adam Chlipala2015-12-08
| | | |
| | * | Document jsFileGravatar Adam Chlipala2015-12-05
| | | |
| | * | New .urp directive: jsFileGravatar Adam Chlipala2015-12-05
| | | |
| | * | Fix tricky case of functor signature subsumptionGravatar Adam Chlipala2015-11-27
| | | |
| | * | Reduce: add reduction in some spots previously missed, associated with ↵Gravatar Adam Chlipala2015-11-25
| | | | | | | | | | | | | | | | 'case' return types
* | | | Release for unstable20151122+dfsg-1Gravatar Benjamin Barenblat2015-11-22
| | | |
* | | | Update liburweb0 symbols fileGravatar Benjamin Barenblat2015-11-22
| | | |
* | | | Update debian/changelogGravatar Benjamin Barenblat2015-11-22
| | | |
* | | | Merge branch 'dfsg_clean'Gravatar Benjamin Barenblat2015-11-22
|\| | |
| * | | Merge branch 'upstream' into dfsg_clean20151122+dfsgGravatar Benjamin Barenblat2015-11-22
| |\ \ \