cronjob.sh revision 216aa19455bfd7192450c3367843561c05c7b157
967e5f3c25249c779575864692935627004d3f9eChristian MaederPATH=/bin:/usr/bin:/usr/X11R6/bin:/home/linux-bkb/bin
967e5f3c25249c779575864692935627004d3f9eChristian MaederHETS_LIB=/local/home/maeder/haskell/CASL-lib
967e5f3c25249c779575864692935627004d3f9eChristian Maederhetsdir=/home/www/agbkb/forschung/formal_methods/CoFI/hets
fd896e2068ad7e50aed66ac18c3720ea7ff2619fChristian Maeder# set BDBDIR for a full uni installation
967e5f3c25249c779575864692935627004d3f9eChristian Maeder# makeProgramatica
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/
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder/local/home/maeder/haskell/runisabelle.sh > ../../isa.log 2>&1
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder/local/home/maeder/haskell/runSPASS.sh > ../spass.log 2>&1
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder./hets -v2 -o thy Calculi/Time/AllenHayesLadkin_TACAS.het
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder/local/home/maeder/haskell/runisabelle.sh > ../../../isaHC.log 2>&1
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder./hets -v2 -o thy Calculi/Space/RCCDagstuhl2.het
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder/local/home/maeder/haskell/runisabelle.sh > ../../../isaHC2.log 2>&1
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder../HetCATS/hetpa Basic/LinearAlgebra_II.casl
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder../HetCATS/hetana Basic/LinearAlgebra_II.casl
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederdiff Basic/LinearAlgebra_II.env Basic/LinearAlgebra_II.env.ttttt
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maedertime ../HetCATS/hatermdiff Basic/LinearAlgebra_II.env \
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
83814002b4922114cbe7e9ba728472a0bf44aac5Christian MaederCommon/test_parser -p casl_id2 Common/test/MixIds.casl
dedabc954aa15f6ad0764472a9434dc6dafe3db2Christian Maeder/local/home/maeder/haskell/runHsIsabelle.sh > ../../../../isaHs.log 2>&1
dedabc954aa15f6ad0764472a9434dc6dafe3db2Christian Maedertar czvf lib.tgz -C CASL-lib --exclude=CVS --exclude=.cvsignore --exclude=diplom_dw .
7221c71b38c871ce66eee4537cb681d468308dfbChristian Maeder\cp -fp lib.tgz /home/www/cofi/Libraries/daily/
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederfor i in */*.env */*.het */*/*.het */*.casl */*/*.casl; \
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maeder do ./hets -v2 -o prf,th,pp.het,pp.tex $i; done
0a8ea95bcf0e3f84fed0b725c049ec2a956a4a28Christian Maederfor i in */*.prf */*/*.prf ; do ./hets -v2 -o th $i; done