the HOL4PROOFS setting is actually HOL4_PROOFS
authorkrauss
Tue Jul 19 11:15:38 2011 +0200 (2011-07-19)
changeset 439031e2aa420c660
parent 43902 8064210028b7
child 43904 95d8a2f2bffe
child 43919 a7e4fb1a0502
the HOL4PROOFS setting is actually HOL4_PROOFS
Admin/mira.py
     1.1 --- a/Admin/mira.py	Tue Jul 19 07:14:14 2011 +0200
     1.2 +++ b/Admin/mira.py	Tue Jul 19 11:15:38 2011 +0200
     1.3 @@ -471,4 +471,4 @@
     1.4      proofs_dir = path.join(playground, 'proofs_extended')
     1.5  
     1.6      return isabelle_make('src/HOL', env, case, paths, dep_paths, playground,
     1.7 -      more_settings=('HOL4PROOFS="%s"' % proofs_dir), target='HOL-Generate-HOLLight')
     1.8 +      more_settings=('HOL4_PROOFS="%s"' % proofs_dir), target='HOL-Generate-HOLLight')