Admin/makerpm
changeset 7337 3f8eeb0b6d75
parent 7314 d3968533692c
child 7488 c49d17fac066
equal deleted inserted replaced
7336:ff05ab18ac5a 7337:3f8eeb0b6d75
   198 
   198 
   199 %files ZF
   199 %files ZF
   200 $ISABELLE_HOME/heaps/${COMPILER}/ZF
   200 $ISABELLE_HOME/heaps/${COMPILER}/ZF
   201 
   201 
   202 %files
   202 %files
       
   203 %dir $ISABELLE_HOME
       
   204 %dir $ISABELLE_HOME/heaps
       
   205 %dir $ISABELLE_HOME/heaps/${COMPILER}
   203 EOF
   206 EOF
   204 
   207 
   205 for F in $(ls -1 | grep -v heaps | grep -v browser_info)
   208 for F in $(ls -1 | grep -v heaps | grep -v browser_info)
   206 do
   209 do
   207   echo "$ISABELLE_HOME/$F" >>$TMP/SPECS/isabelle.spec
   210   echo "$ISABELLE_HOME/$F" >>$TMP/SPECS/isabelle.spec