#make-all: make all systems afresh

#remove all databases to force rebuild (and to free disc space)
rm BASE NJ/BASE CTT/BASE LK/BASE LK/set/BASE HOL/BASE 

echo 'Pure Isabelle'
make > BASE.log

echo 'Intuitionistic logic (NJ)'
(cd NJ;  make > BASE.log;  rm BASE)

echo 'Constructive Type Theory (CTT)'
(cd CTT;  make > BASE.log;  rm BASE)

echo 'Classical logic (LK)'
(cd LK;  make > BASE.log)

echo 'Set theory (LK/set)'
(cd LK/set;  make > BASE.log;  rm BASE;  rm ../BASE)

echo 'Higher-order logic (HOL)'
(cd HOL;  make > BASE.log;  rm BASE)

grep -i error BASE.log NJ/BASE.log CTT/BASE.log LK/BASE.log LK/set/BASE.log HOL/BASE.log | mail lcp
