equal
deleted
inserted
replaced
7 from glob import glob |
7 from glob import glob |
8 import subprocess |
8 import subprocess |
9 import re |
9 import re |
10 |
10 |
11 import util |
11 import util |
12 |
|
13 from mira.environment import configuration |
|
14 |
|
15 from repositories import * |
|
16 |
12 |
17 |
13 |
18 # build and evaluation tools |
14 # build and evaluation tools |
19 |
15 |
20 def prepare_isabelle_repository(loc_isabelle, loc_contrib, loc_dependency_heaps, parallelism = True): |
16 def prepare_isabelle_repository(loc_isabelle, loc_contrib, loc_dependency_heaps, parallelism = True): |