cronjob.sh revision 216aa19455bfd7192450c3367843561c05c7b157
967e5f3c25249c779575864692935627004d3f9eChristian Maeder#!/bin/bash -x
967e5f3c25249c779575864692935627004d3f9eChristian Maeder
967e5f3c25249c779575864692935627004d3f9eChristian MaederPATH=/bin:/usr/bin:/usr/X11R6/bin:/home/linux-bkb/bin
75a6279dbae159d018ef812185416cf6df386c10Till MossakowskiUDG_HOME=/home/linux-bkb/uDrawGraph-3.1
967e5f3c25249c779575864692935627004d3f9eChristian MaederMAKE=make
967e5f3c25249c779575864692935627004d3f9eChristian MaederHETS_LIB=/local/home/maeder/haskell/CASL-lib
967e5f3c25249c779575864692935627004d3f9eChristian MaederGHCRTS='-H300m -M1g'
89054b2b95a3f92e78324dc852f3d34704e2ca49Christian Maeder
967e5f3c25249c779575864692935627004d3f9eChristian Maederexport PATH
967e5f3c25249c779575864692935627004d3f9eChristian Maederexport MAKE
967e5f3c25249c779575864692935627004d3f9eChristian Maederexport HETS_LIB
967e5f3c25249c779575864692935627004d3f9eChristian Maederexport GHCRTS
967e5f3c25249c779575864692935627004d3f9eChristian Maeder
967e5f3c25249c779575864692935627004d3f9eChristian Maederhetsdir=/home/www/agbkb/forschung/formal_methods/CoFI/hets
967e5f3c25249c779575864692935627004d3f9eChristian Maederhetsbin=$hetsdir/linux/daily/hets
fd896e2068ad7e50aed66ac18c3720ea7ff2619fChristian Maederdestdir=$hetsdir/src-distribution/daily
7221c71b38c871ce66eee4537cb681d468308dfbChristian Maeder
7221c71b38c871ce66eee4537cb681d468308dfbChristian Maedercd /local/home/maeder/haskell
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder. ../cronjob.sh
fd896e2068ad7e50aed66ac18c3720ea7ff2619fChristian Maeder
fd896e2068ad7e50aed66ac18c3720ea7ff2619fChristian Maeder# set BDBDIR for a full uni installation
997c56f3bc74a703043010978e5013fdb074d659Christian Maeder# makeUni
967e5f3c25249c779575864692935627004d3f9eChristian Maeder# makeProgramatica
9744c7d9fa61d255d5e73beec7edc3499522e9e2Till MossakowskimakeHets
9744c7d9fa61d255d5e73beec7edc3499522e9e2Till Mossakowski# copy cronjob scripts for the next night
fd896e2068ad7e50aed66ac18c3720ea7ff2619fChristian Maeder\cp -f HetCATS/utils/nightly/cronjob.sh /home/maeder/haskell/
fd896e2068ad7e50aed66ac18c3720ea7ff2619fChristian Maeder\cp -f HetCATS/utils/nightly/linux/*.sh /local/home/maeder/haskell/
dea4c92f0c061d589c542d0640a18dab36dfbb46Christian MaedermakeLibCheck
fd896e2068ad7e50aed66ac18c3720ea7ff2619fChristian Maeder
dea4c92f0c061d589c542d0640a18dab36dfbb46Christian Maedercd CASL-lib
fd896e2068ad7e50aed66ac18c3720ea7ff2619fChristian Maederchmod 775 hets
dea4c92f0c061d589c542d0640a18dab36dfbb46Christian Maederchgrp wwwbkb hets
dea4c92f0c061d589c542d0640a18dab36dfbb46Christian Maeder\cp -fp hets $hetsbin
dea4c92f0c061d589c542d0640a18dab36dfbb46Christian Maeder\rm -f $hetsbin.bz2
dea4c92f0c061d589c542d0640a18dab36dfbb46Christian Maederbzip2 $hetsbin
dea4c92f0c061d589c542d0640a18dab36dfbb46Christian Maeder
dea4c92f0c061d589c542d0640a18dab36dfbb46Christian Maeder\cp ../HetCATS/utils/hetcasl.sty .
967e5f3c25249c779575864692935627004d3f9eChristian Maederpdflatex Basic-Libraries
dea4c92f0c061d589c542d0640a18dab36dfbb46Christian Maeder
dea4c92f0c061d589c542d0640a18dab36dfbb46Christian Maedercat */*.th > ../th.log
dea4c92f0c061d589c542d0640a18dab36dfbb46Christian Maedercat */*.pp.het > ../pp.log
dea4c92f0c061d589c542d0640a18dab36dfbb46Christian Maeder
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maedercd Basic
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder/local/home/maeder/haskell/runisabelle.sh > ../../isa.log 2>&1
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederfgrep \*\*\* ../../isa.log
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maedercd ..
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder/local/home/maeder/haskell/runSPASS.sh > ../spass.log 2>&1
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder./hets -v2 -o thy Calculi/Time/AllenHayesLadkin_TACAS.het
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maedercd Calculi/Time
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder/local/home/maeder/haskell/runisabelle.sh > ../../../isaHC.log 2>&1
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederfgrep \*\*\* ../../../isaHC.log
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maedercd ../..
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder./hets -v2 -o thy Calculi/Space/RCCDagstuhl2.het
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maedercd Calculi/Space
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder/local/home/maeder/haskell/runisabelle.sh > ../../../isaHC2.log 2>&1
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederfgrep \*\*\* ../../../isaHC.log
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maedercd ../..
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder../HetCATS/hetpa Basic/LinearAlgebra_II.casl
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder../HetCATS/hetana Basic/LinearAlgebra_II.casl
239090e32b9079422ea1ce61197557e5b816f455Christian Maeder
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder../HetCATS/atermlibtest Basic/*.env
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederdiff Basic/LinearAlgebra_II.env Basic/LinearAlgebra_II.env.ttttt
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maedertime ../HetCATS/hatermdiff Basic/LinearAlgebra_II.env \
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder Basic/LinearAlgebra_II.env.ttttt
7a879b08ae0ca30006f9be887a73212b07f10204Christian Maeder
7a879b08ae0ca30006f9be887a73212b07f10204Christian Maedercats -input=nobin -output=nobin -spec=gen_aterm Basic/SimpleDatatypes.casl
7a879b08ae0ca30006f9be887a73212b07f10204Christian Maeder../HetCATS/atctest Basic/SimpleDatatypes.tree.gen_trm
7a879b08ae0ca30006f9be887a73212b07f10204Christian Maeder./hets -v3 -p -i gen_trm -o pp.het Basic/SimpleDatatypes.tree.gen_trm
7a879b08ae0ca30006f9be887a73212b07f10204Christian Maeder
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maedercd ../HetCATS/doc
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederlatex UserGuide
7a879b08ae0ca30006f9be887a73212b07f10204Christian Maederbibtex UserGuide
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederlatex UserGuide
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederlatex UserGuide
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederdvips UserGuide.dvi -o UserGuide.ps
967e5f3c25249c779575864692935627004d3f9eChristian Maedercd ..
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder
967e5f3c25249c779575864692935627004d3f9eChristian Maedermake doc
83814002b4922114cbe7e9ba728472a0bf44aac5Christian Maeder\cp doc/UserGuide.ps docs
83814002b4922114cbe7e9ba728472a0bf44aac5Christian Maeder\cp doc/Programming-Guidelines.txt docs
83814002b4922114cbe7e9ba728472a0bf44aac5Christian Maeder\cp ../CASL-lib/Basic-Libraries.pdf docs
83814002b4922114cbe7e9ba728472a0bf44aac5Christian Maederchgrp -R wwwbkb docs
83814002b4922114cbe7e9ba728472a0bf44aac5Christian Maeder\cp -rfp docs $destdir
83814002b4922114cbe7e9ba728472a0bf44aac5Christian Maedergzip HetCATS.tar
83814002b4922114cbe7e9ba728472a0bf44aac5Christian Maederchmod 664 HetCATS.tar.gz
83814002b4922114cbe7e9ba728472a0bf44aac5Christian Maederchgrp wwwbkb HetCATS.tar.gz
83814002b4922114cbe7e9ba728472a0bf44aac5Christian Maeder\cp -fp HetCATS.tar.gz $destdir
83814002b4922114cbe7e9ba728472a0bf44aac5Christian Maeder
83814002b4922114cbe7e9ba728472a0bf44aac5Christian MaederCommon/test_parser -p casl_id2 Common/test/MixIds.casl
83814002b4922114cbe7e9ba728472a0bf44aac5Christian MaederHaskell/hana ToHaskell/test/*.hascasl.hs
967e5f3c25249c779575864692935627004d3f9eChristian Maedercd Haskell/test/HOLCF
83814002b4922114cbe7e9ba728472a0bf44aac5Christian Maedercp ../HOL/*.hs .
dedabc954aa15f6ad0764472a9434dc6dafe3db2Christian Maeder../../../ToHaskell/h2hf hc *.hs
dedabc954aa15f6ad0764472a9434dc6dafe3db2Christian Maeder/local/home/maeder/haskell/runHsIsabelle.sh > ../../../../isaHs.log 2>&1
dedabc954aa15f6ad0764472a9434dc6dafe3db2Christian Maederfgrep \*\*\* ../../../../isaHs.log
83814002b4922114cbe7e9ba728472a0bf44aac5Christian Maeder
dedabc954aa15f6ad0764472a9434dc6dafe3db2Christian Maedercd ../../../HetCATS
dedabc954aa15f6ad0764472a9434dc6dafe3db2Christian Maedermake hets.cgi
dedabc954aa15f6ad0764472a9434dc6dafe3db2Christian Maeder\cp hets.cgi /home/www/users/maeder/cgi-bin
dedabc954aa15f6ad0764472a9434dc6dafe3db2Christian Maedercd ..
dedabc954aa15f6ad0764472a9434dc6dafe3db2Christian Maeder
dedabc954aa15f6ad0764472a9434dc6dafe3db2Christian Maedercd ../..
dedabc954aa15f6ad0764472a9434dc6dafe3db2Christian Maedercd CASL-lib
dedabc954aa15f6ad0764472a9434dc6dafe3db2Christian Maedercvs up -dPA
dedabc954aa15f6ad0764472a9434dc6dafe3db2Christian Maedercd ..
dedabc954aa15f6ad0764472a9434dc6dafe3db2Christian Maedertar czvf lib.tgz -C CASL-lib --exclude=CVS --exclude=.cvsignore --exclude=diplom_dw .
bfa9e03532243ceb487f0384d0f6a447f1ce7670Till Mossakowskichmod 664 lib.tgz
7221c71b38c871ce66eee4537cb681d468308dfbChristian Maederchgrp agcofi lib.tgz
7221c71b38c871ce66eee4537cb681d468308dfbChristian Maeder\cp -fp lib.tgz /home/www/cofi/Libraries/daily/
7221c71b38c871ce66eee4537cb681d468308dfbChristian Maeder
83814002b4922114cbe7e9ba728472a0bf44aac5Christian Maedercd $destdir
7221c71b38c871ce66eee4537cb681d468308dfbChristian Maeder\rm -rf HetCATS
7221c71b38c871ce66eee4537cb681d468308dfbChristian Maedertar zxf HetCATS.tar.gz
7221c71b38c871ce66eee4537cb681d468308dfbChristian Maeder\mv docs HetCATS/docs
7221c71b38c871ce66eee4537cb681d468308dfbChristian Maeder\rm -f HetCATS.tar.gz
bfa9e03532243ceb487f0384d0f6a447f1ce7670Till Mossakowskitar zcf Hets-src.tgz HetCATS
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maedercd $HETS_LIB
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederfind . -name \*.pp.het | xargs -r rm
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederdate
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederfor i in */*.env */*.het */*/*.het */*.casl */*/*.casl; \
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder do ./hets -v2 -o prf,th,pp.het,pp.tex $i; done
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederdate
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederfor i in */*.prf */*/*.prf ; do ./hets -v2 -o th $i; done
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederdate
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder