| changeset 6608 | 927def00b1c6 |
| parent 6591 | 6a753a6d6738 |
| child 7312 | 523fb2832b30 |
| 6607:df9b0abf77e0 | 6608:927def00b1c6 |
|---|---|
170 |
170 |
171 %files |
171 %files |
172 $BIN/Isabelle |
172 $BIN/Isabelle |
173 $BIN/isabelle |
173 $BIN/isabelle |
174 $BIN/isatool |
174 $BIN/isatool |
175 %dir $ISABELLE_HOME |
|
176 EOF |
175 EOF |
177 |
176 |
178 for F in $(ls -1 | grep -v heaps | grep -v browser_info) |
177 for F in $(ls -1 | grep -v heaps | grep -v browser_info) |
179 do |
178 do |
180 echo "$ISABELLE_HOME/$F" >>$TMP/SPECS/isabelle.spec |
179 echo "$ISABELLE_HOME/$F" >>$TMP/SPECS/isabelle.spec |