goaljobs.git
11 years agogoaljobs: Allow --package to specify OCaml packages.
Richard W.M. Jones [Thu, 19 Sep 2013 09:21:51 +0000 (10:21 +0100)]
goaljobs: Allow --package to specify OCaml packages.

11 years agoPass a suspension to 'require'.
Richard W.M. Jones [Wed, 18 Sep 2013 15:21:26 +0000 (16:21 +0100)]
Pass a suspension to 'require'.

11 years agoFix curl return codes.
Richard W.M. Jones [Wed, 18 Sep 2013 10:20:52 +0000 (11:20 +0100)]
Fix curl return codes.

11 years agoRun all periodic jobs scheduled at the same time in series.
Richard W.M. Jones [Tue, 17 Sep 2013 22:30:18 +0000 (23:30 +0100)]
Run all periodic jobs scheduled at the same time in series.

11 years agoOn goal failure, exit with correct error message and error code.
Richard W.M. Jones [Tue, 17 Sep 2013 17:15:24 +0000 (18:15 +0100)]
On goal failure, exit with correct error message and error code.

11 years agoImplement 'directory_exists' function.
Richard W.M. Jones [Tue, 17 Sep 2013 17:15:06 +0000 (18:15 +0100)]
Implement 'directory_exists' function.

11 years agoThe Memory: Don't create empty file on first write.
Richard W.M. Jones [Tue, 17 Sep 2013 17:14:27 +0000 (18:14 +0100)]
The Memory: Don't create empty file on first write.

This would cause all writes to fail the first time.

11 years agogoaljobs: Remove temporary files properly.
Richard W.M. Jones [Tue, 17 Sep 2013 17:14:03 +0000 (18:14 +0100)]
goaljobs: Remove temporary files properly.

11 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.

11 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.

11 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.

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

11 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.

11 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.

11 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.

11 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.

11 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'.

11 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.

11 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).

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

11 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.

11 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'.

11 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.

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

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