equal
deleted
inserted
replaced
75 cd * |
75 cd * |
76 ISABELLE_NAME="$(basename "$PWD")" |
76 ISABELLE_NAME="$(basename "$PWD")" |
77 |
77 |
78 echo "ISABELLE_FULL_TEST=true" >> etc/settings |
78 echo "ISABELLE_FULL_TEST=true" >> etc/settings |
79 |
79 |
80 echo -n > src/Doc/ROOT |
|
81 |
|
82 env ISABELLE_IDENTIFIER="${ISABELLE_NAME}-build" \ |
80 env ISABELLE_IDENTIFIER="${ISABELLE_NAME}-build" \ |
83 ./bin/isabelle build $JOBS -s -c -a -o browser_info \ |
81 ./bin/isabelle build $JOBS -s -c -a -o browser_info \ |
84 -o "document=pdf" -o "document_variants=document:outline=/proof,/ML" |
82 -o "document=pdf" -o "document_variants=document:outline=/proof,/ML" |
85 RC="$?" |
83 RC="$?" |
86 |
84 |