goaljobs.git
10 years agoAdd periodic jobs using 'every' keyword.
Richard W.M. Jones [Tue, 17 Sep 2013 17:13:43 +0000 (18:13 +0100)]
Add periodic jobs using 'every' keyword.

10 years ago-l/--goals option should exit after listing goals.
Richard W.M. Jones [Tue, 17 Sep 2013 11:31:59 +0000 (12:31 +0100)]
-l/--goals option should exit after listing goals.

10 years agoexample: Remove code which is now implicitly generated.
Richard W.M. Jones [Tue, 17 Sep 2013 11:31:17 +0000 (12:31 +0100)]
example: Remove code which is now implicitly generated.

10 years agoImplement persistent Memory.
Richard W.M. Jones [Tue, 17 Sep 2013 11:17:23 +0000 (12:17 +0100)]
Implement persistent Memory.

10 years agoRun sh/shout/shlines in a temporary directory.
Richard W.M. Jones [Tue, 17 Sep 2013 11:17:03 +0000 (12:17 +0100)]
Run sh/shout/shlines in a temporary directory.

10 years agoconfigure: Add quotes in error message.
Richard W.M. Jones [Tue, 17 Sep 2013 11:16:36 +0000 (12:16 +0100)]
configure: Add quotes in error message.

10 years agoImplement // and quote.
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.

10 years agoImplement url_exists, file_contains_string, url_contains_string.
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.

10 years agoRename config.ml -> goaljobs_config.ml to avoid conflicting module names.
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'.

10 years agoCommand line parsing, the concept of publishing goals.
Richard W.M. Jones [Mon, 16 Sep 2013 17:38:14 +0000 (18:38 +0100)]
Command line parsing, the concept of publishing goals.

10 years agoWrite 'goaljobs' script (wrapper around the compiler).
Richard W.M. Jones [Mon, 16 Sep 2013 15:20:52 +0000 (16:20 +0100)]
Write 'goaljobs' script (wrapper around the compiler).

10 years agoUpdate NOTES.
Richard W.M. Jones [Mon, 16 Sep 2013 14:46:43 +0000 (15:46 +0100)]
Update NOTES.

10 years agobuild: Get 'make install' working.
Richard W.M. Jones [Mon, 16 Sep 2013 13:36:20 +0000 (14:36 +0100)]
build: Get 'make install' working.

Add a spec file.

10 years agoexamples: Remove generated files when doing 'make clean'.
Richard W.M. Jones [Mon, 16 Sep 2013 13:12:17 +0000 (14:12 +0100)]
examples: Remove generated files when doing 'make clean'.

10 years agoAdd COPYING and README files.
Richard W.M. Jones [Mon, 16 Sep 2013 13:11:27 +0000 (14:11 +0100)]
Add COPYING and README files.

10 years agoFirst published version.
Richard W.M. Jones [Sun, 15 Sep 2013 20:39:12 +0000 (21:39 +0100)]
First published version.

10 years agoInitial revision.
Richard W.M. Jones [Sun, 15 Sep 2013 20:36:01 +0000 (21:36 +0100)]
Initial revision.