diff options
| author | Thomas Bauereiss | 2019-01-23 16:29:49 +0000 |
|---|---|---|
| committer | Thomas Bauereiss | 2019-01-23 16:29:49 +0000 |
| commit | 1951607813f73688297840fc4ae4b3059b7528c5 (patch) | |
| tree | 46d7bd49af3bc307d2c2bae145eed5457d01c4f7 /src/bytecode_util.ml | |
| parent | 93ac9f1762771d601c2b9eed9014ff471093358b (diff) | |
Don't let "make" fail unnecessarily in lib/isabelle
Only check for availability of Lem library if actually trying to build
an Isabelle heap image.
Diffstat (limited to 'src/bytecode_util.ml')
0 files changed, 0 insertions, 0 deletions