<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>Hi all,</p>
<p>my AFP entry stopped compiling recently
(<a class="moz-txt-link-freetext" href="https://ci.isabelle.systems/jenkins/job/isabelle-all/2675/">https://ci.isabelle.systems/jenkins/job/isabelle-all/2675/</a>) due
to the inclusion of inclusion of ML files in subdirectories. This
works in Isabelle2021.<br>
</p>
<p>The simplified structure is the following:</p>
<p><font face="monospace">PAC_Checker</font></p>
<p><font face="monospace"> |--- ROOT</font></p>
<p><font face="monospace"> |--- ...</font></p>
<p>
</p>
<p><font face="monospace"> |--- MLton.thy</font></p>
<font face="monospace">
</font>
<p><font face="monospace"> \--- code</font></p>
<p><font face="monospace"> \--- parser.sml</font></p>
<p><br>
</p>
<p>MLton.thy uses compile_generated_files to generate ML files,
includes parser.sml, and compile all files with MLton. This
pattern now produces the error message<br>
</p>
<blockquote>
<p class="line"><font face="monospace"><span>Illegal path
specification
"<absolute_path>/PAC_Checker/code/parser.sml" beyond
base directory</span></font></p>
</blockquote>
<p class="line"><span>I tried to declare the "code" directory in the
ROOT file, but this does not solve the error. Is there a
solution that does <i>not</i> involve moving the ML files to
the ROOT directory?</span></p>
<p class="line"><span><br>
</span></p>
<p class="line"><span>Thanks,</span></p>
<p class="line"><span>Mathias<br>
</span></p>
<p class="line"><span><br>
</span></p>
</body>
</html>