Added 64-bit builds of Solaris and Darwin

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@7971 8c9fc860-2736-0410-a75d-ab315db34111

tools/builds/a2/makefile

@@ -6,7 +6,7 @@ MAKEFLAGS += --no-builtin-rules --no-builtin-variables
 .SUFFIXES: # delete the default suffixes
 
 tool := $(if $(wildcard oberon), ./oberon, ./original)
-platforms := Linux32 Linux64 Darwin32 Solaris32 Win32 Win64
+platforms := Linux32 Linux64 Darwin32 Darwin64 Solaris32 Solaris64 Win32 Win64
 
 target := Linux64
 object := .GofUu

tools/builds/cron.hourly/build-darwin64

@@ -0,0 +1,18 @@
+#!/bin/sh
+
+dir="/var/tmp/a2/"
+update () { svn checkout --non-interactive --quiet --username eth.a2guest --password a2guest https://svn.inf.ethz.ch/svn/lecturers/a2/trunk/tools/builds/a2 "$dir" && make --directory "$dir" --quiet dependencies && version=$(svnversion "$dir/source"); }
+check () { make --question --directory "$dir" --quiet build platform=Darwin64; }
+build () { timeout 1h make --directory "$dir" --quiet build platform=Darwin64; }
+notify () { sendbuild "A2 Builds" "Darwin64" "$version" "$1"; }
+
+update || exit 1
+check && exit 0
+status="Building"; output=""
+notify "$status" < /dev/null
+cleanup () { echo "$output" | notify $status; }
+trap cleanup exit
+trap "status=Aborted" int term kill
+status="Failed"; output=$(build 2>&1)
+test $? -eq 0 && status="Succeeded" && output=""
+exit 0

tools/builds/cron.hourly/build-solaris64

@@ -0,0 +1,18 @@
+#!/bin/sh
+
+dir="/var/tmp/a2/"
+update () { svn checkout --non-interactive --quiet --username eth.a2guest --password a2guest https://svn.inf.ethz.ch/svn/lecturers/a2/trunk/tools/builds/a2 "$dir" && make --directory "$dir" --quiet dependencies && version=$(svnversion "$dir/source"); }
+check () { make --question --directory "$dir" --quiet build platform=Solaris64; }
+build () { timeout 1h make --directory "$dir" --quiet build platform=Solaris64; }
+notify () { sendbuild "A2 Builds" "Solaris64" "$version" "$1"; }
+
+update || exit 1
+check && exit 0
+status="Building"; output=""
+notify "$status" < /dev/null
+cleanup () { echo "$output" | notify $status; }
+trap cleanup exit
+trap "status=Aborted" int term kill
+status="Failed"; output=$(build 2>&1)
+test $? -eq 0 && status="Succeeded" && output=""
+exit 0