diff --git a/ReadMe.md b/ReadMe.md index d15b111f..4407c569 100644 --- a/ReadMe.md +++ b/ReadMe.md @@ -72,9 +72,9 @@ Some other freely redistributable libraries are available as a part of voc distr See [Features](/doc/Features.md). -#### Installing +#### Installation -See [Installing](/doc/Installing.md). +See [Installation](/doc/Installation.md). #### Compiling Oberon modules diff --git a/doc/Roadmap.md b/doc/Roadmap.md index 460e5f51..593f9e6f 100644 --- a/doc/Roadmap.md +++ b/doc/Roadmap.md @@ -82,3 +82,4 @@ address. It would be quite a lot of work! VAR parameters - i.e. no copying. - CASE statements only support INTEGER (with low positive values) and CHAR. - Reject LOOP statements. + - All imported variables are read-only. diff --git a/src/tools/make/vishap.make b/src/tools/make/vishap.make index 87015b71..43986b73 100644 --- a/src/tools/make/vishap.make +++ b/src/tools/make/vishap.make @@ -364,7 +364,7 @@ confidence: if [ "$(PLATFORM)" != "windows" ] ; then cd src/test/confidence/signal; ./test.sh "$(INSTALLDIR)"; fi cd src/test/confidence/lola; ./test.sh "$(INSTALLDIR)" cd src/test/confidence/arrayassignment; ./test.sh "$(INSTALLDIR)" - @printf "\n\n--- Confidence tests passed ---\n\n" + @printf "\n\n--- Branch $$(git rev-parse --abbrev-ref HEAD) $(OS) $(COMPILER) $(DATAMODEL) confidence tests passed ---\n\n" diff --git a/src/tools/testcoordinator/buildall.sh b/src/tools/testcoordinator/buildall.sh new file mode 100644 index 00000000..ad420253 --- /dev/null +++ b/src/tools/testcoordinator/buildall.sh @@ -0,0 +1,39 @@ +#branch=v2docs +#ssh pi@pie "cd projects/oberon/vishap/voc && sudo git checkout $branch && sudo make clean" & +#ssh dave@dcb "cd projects/oberon/vishap/voc && sudo git checkout $branch && sudo make clean" & +#ssh dave@nas-ub64 "cd vishap/voc && sudo git checkout $branch && sudo make clean" & +#ssh dave@lub32 "cd vishap/voc && sudo git checkout $branch && sudo make clean" & +#ssh root@nas-ob32 "cd vishap/voc && git checkout $branch && make clean" & +#ssh root@oberon "cd vishap/voc && git checkout $branch && make clean" & + +declare -A VOCLOGIN +VOCLOGIN[pi]=pi@pie +VOCLOGIN[darwin]=dave@dcb +VOCLOGIN[ub64]=dave@nas-ub64 +VOCLOGIN[lub32]=dave@lub32 +VOCLOGIN[ob32]=root@nas-ob32 +VOCLOGIN[fb64]=root@oberon + +declare -A VOCDIR +VOCDIR[pi]=projects/oberon/vishap/voc +VOCDIR[darwin]=projects/oberon/vishap/voc +VOCDIR[ub64]=vishap/voc +VOCDIR[lub32]=vishap/voc +VOCDIR[ob32]=vishap/voc +VOCDIR[fb64]=vishap/voc + +declare -A VOCSUDO +VOCSUDO[pi]="sudo " +VOCSUDO[darwin]="sudo " +VOCSUDO[ub64]="sudo " +VOCSUDO[lub32]="sudo " +VOCSUDO[ob32]="" +VOCSUDO[fb64]="" + +for MACHINE in "${!VOCLOGIN[@]}" +do +SETBRANCH="${VOCSUDO[$MACHINE]} git checkout $branch" +PULL="${VOCSUDO[$MACHINE]} git pull" +MAKE="${VOCSUDO[$MACHINE]} make full" +ssh ${VOCLOGIN[$MACHINE]} "cd ${VOCDIR[$MACHINE]} && $SETBRANCH && $PULL && $MAKE" | perl -pe "use POSIX strftime; print strftime \"%H:%M:%S $MACHINE: \", localtime" | tee log/$MACHINE.log & +done