diff options
| author |   Mark Wright <gienah@gentoo.org> | 2012-12-05 10:09:41 +0000 |
|---|---|---|
| committer | Mark Wright <gienah@gentoo.org> | 2012-12-05 10:09:41 +0000 |
| commit | 9cc8622820eeda4176a462fd081be9b2ce6f42ec (patch) | |
| tree | 7e40f5601a682cbab2b9346588c65416f09851b7 /sci-biology/glimmerhmm | |
| parent | EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ... (diff) | |
| download | gentoo-2-9cc8622820eeda4176a462fd081be9b2ce6f42ec.tar.gz gentoo-2-9cc8622820eeda4176a462fd081be9b2ce6f42ec.tar.bz2 gentoo-2-9cc8622820eeda4176a462fd081be9b2ce6f42ec.zip | |
EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is updated. It is necessary to remove any non-existing directories from /etc/isabelle/components, as otherwise isabelle getenv ISABELLE_HOME fails, which causes reverse dependent packages of sci-mathematics/isabelle to fail.
(Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
Diffstat (limited to 'sci-biology/glimmerhmm')
0 files changed, 0 insertions, 0 deletions