summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Mark Wooding [Mon, 25 Jun 2018 00:37:03 +0000 (01:37 +0100)]
Some more infrastructure. Maybe other things.
Mark Wooding [Tue, 19 Jun 2018 10:44:59 +0000 (11:44 +0100)]
Wow, is that a proper Android build system?
Mark Wooding [Sat, 16 Jun 2018 18:32:22 +0000 (19:32 +0100)]
Integrate the TrIPE server into the Java edifice.
And probably other things too. We're still in broad brushstrokes mode
here.
Mark Wooding [Thu, 14 Jun 2018 10:26:40 +0000 (11:26 +0100)]
More progress. More work.
Mark Wooding [Wed, 13 Jun 2018 00:55:56 +0000 (01:55 +0100)]
More work in progress.
Mark Wooding [Sat, 9 Jun 2018 12:22:16 +0000 (13:22 +0100)]
progress.scala: Miscellaneous WIP.
Mark Wooding [Sat, 9 Jun 2018 12:21:29 +0000 (13:21 +0100)]
admin.scala: Make `Connection' be its own publisher type.
Mark Wooding [Sat, 9 Jun 2018 12:20:54 +0000 (13:20 +0100)]
Makefile: Make the Scala compiler more petty.
But I'm not giving up my odd habit of putting everything in package
objects.
Mark Wooding [Sat, 9 Jun 2018 11:08:30 +0000 (12:08 +0100)]
Overhaul the build machinery.
Mark Wooding [Sun, 3 Jun 2018 13:26:41 +0000 (14:26 +0100)]
Makefile: Move all artifacts into a subdirectory.
Mark Wooding [Sun, 3 Jun 2018 12:48:30 +0000 (13:48 +0100)]
rough work in progress; may not build
Mark Wooding [Thu, 31 May 2018 18:29:23 +0000 (19:29 +0100)]
shake it all up
Mark Wooding [Thu, 31 May 2018 13:11:37 +0000 (14:11 +0100)]
wip
Mark Wooding [Thu, 17 May 2018 09:45:49 +0000 (10:45 +0100)]
admin.scala: Start on understanding the administration protocol.
Mark Wooding [Thu, 17 May 2018 09:45:37 +0000 (10:45 +0100)]
.gitignore: Ignore built files.
Mark Wooding [Thu, 17 May 2018 09:43:44 +0000 (10:43 +0100)]
Makefile: Drop the classfile outputs down a level.
Now, if we add other paths, they'll all be together and we won't spread
weirdness all over the toplevel.
Mark Wooding [Thu, 17 May 2018 09:43:16 +0000 (10:43 +0100)]
Makefile: Move cleanup of the class files near the compiler rules.
Mark Wooding [Thu, 17 May 2018 09:41:10 +0000 (10:41 +0100)]
Makefile: Don't leave class-file placement to the `FOOFLAGS' variables.
They can (and should) be overridden by users. But changing the output
arrangements will break the build system's assumptions.
Mark Wooding [Thu, 17 May 2018 09:38:10 +0000 (10:38 +0100)]
Makefile: Use the `fsc' Scala compiler instead, because it's less slow.
Mark Wooding [Wed, 16 May 2018 09:23:27 +0000 (10:23 +0100)]
Makefile: Use a less-specific symlink to find Java headers.
Mark Wooding [Wed, 16 May 2018 09:20:55 +0000 (10:20 +0100)]
Initial commit.