chiark / gitweb /
tripe-android
5 years agowip
Mark Wooding [Thu, 31 May 2018 13:11:37 +0000 (14:11 +0100)]
wip

5 years agoadmin.scala: Start on understanding the administration protocol.
Mark Wooding [Thu, 17 May 2018 09:45:49 +0000 (10:45 +0100)]
admin.scala: Start on understanding the administration protocol.

5 years ago.gitignore: Ignore built files.
Mark Wooding [Thu, 17 May 2018 09:45:37 +0000 (10:45 +0100)]
.gitignore: Ignore built files.

5 years agoMakefile: Drop the classfile outputs down a level.
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.

5 years agoMakefile: Move cleanup of the class files near the compiler rules.
Mark Wooding [Thu, 17 May 2018 09:43:16 +0000 (10:43 +0100)]
Makefile: Move cleanup of the class files near the compiler rules.

5 years agoMakefile: Don't leave class-file placement to the `FOOFLAGS' variables.
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.

5 years agoMakefile: Use the `fsc' Scala compiler instead, because it's less slow.
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.

5 years agoMakefile: Use a less-specific symlink to find Java headers.
Mark Wooding [Wed, 16 May 2018 09:23:27 +0000 (10:23 +0100)]
Makefile: Use a less-specific symlink to find Java headers.

5 years agoInitial commit.
Mark Wooding [Wed, 16 May 2018 09:20:55 +0000 (10:20 +0100)]
Initial commit.