summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Richard W.M. Jones [Tue, 17 Sep 2013 11:17:03 +0000 (12:17 +0100)]
Run sh/shout/shlines in a temporary directory.
Richard W.M. Jones [Tue, 17 Sep 2013 11:16:36 +0000 (12:16 +0100)]
configure: Add quotes in error message.
Richard W.M. Jones [Tue, 17 Sep 2013 11:16:14 +0000 (12:16 +0100)]
Implement // and quote.
These are just wrappers around Filename functions from the stdlib.
Richard W.M. Jones [Tue, 17 Sep 2013 11:15:23 +0000 (12:15 +0100)]
Implement url_exists, file_contains_string, url_contains_string.
The URL functions use the external 'curl' program.
Richard W.M. Jones [Tue, 17 Sep 2013 11:13:32 +0000 (12:13 +0100)]
Rename config.ml -> goaljobs_config.ml to avoid conflicting module names.
It would be useful to allow user scripts to use the module
name 'Config'.
Richard W.M. Jones [Mon, 16 Sep 2013 17:38:14 +0000 (18:38 +0100)]
Command line parsing, the concept of publishing goals.
Richard W.M. Jones [Mon, 16 Sep 2013 15:20:52 +0000 (16:20 +0100)]
Write 'goaljobs' script (wrapper around the compiler).
Richard W.M. Jones [Mon, 16 Sep 2013 14:46:43 +0000 (15:46 +0100)]
Update NOTES.
Richard W.M. Jones [Mon, 16 Sep 2013 13:36:20 +0000 (14:36 +0100)]
build: Get 'make install' working.
Add a spec file.
Richard W.M. Jones [Mon, 16 Sep 2013 13:12:17 +0000 (14:12 +0100)]
examples: Remove generated files when doing 'make clean'.
Richard W.M. Jones [Mon, 16 Sep 2013 13:11:27 +0000 (14:11 +0100)]
Add COPYING and README files.
Richard W.M. Jones [Sun, 15 Sep 2013 20:39:12 +0000 (21:39 +0100)]
First published version.
Richard W.M. Jones [Sun, 15 Sep 2013 20:36:01 +0000 (21:36 +0100)]
Initial revision.
git.annexia.org / goaljobs.git / log