<div dir="ltr">Hi Wolfgang, <div><br></div><div>the directory name should not matter (mine is named differently for example). Renaming the base directory <i>after</i> cloning (instead of using <font face="monospace, monospace">git clone foo dir-name</font>) can sometimes confuse git, if that might be the problem.<br><br>In any case, we are unable to reproduce this so if you could provide exact reproductions steps we can update the guide. Your git version may be useful as well.<br><br>Cheers,</div><div>Edvard</div></div><div class="gmail_extra"><br><div class="gmail_quote">2017-07-09 22:35 GMT+02:00 Wolfgang Jeltsch <span dir="ltr"><<a href="mailto:wolfgang-it@jeltsch.info" target="_blank">wolfgang-it@jeltsch.info</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi, Edvard!<br>
<br>
I generally followed the instructions on<br>
<br>
    <a href="https://github.com/tweag/ghc/tree/linear-types#building-from-source" rel="noreferrer" target="_blank">https://github.com/tweag/<wbr>ghc/tree/linear-types#<wbr>building-from-source</a>  ,<br>
<br>
but when running<br>
<br>
    git checkout tweag/linear-types  ,<br>
<br>
I got the following error message:<br>
<br>
> fatal: Not a git repository: ${BASEDIR}/ghc/.git/modules/.<wbr>arc-linters/arcanist-external-<wbr>json-linter<br>
<br>
I guess this is because my local directory is not named “ghc”, but “ghc-<br>
linear”. In my opinion, the repository should not assume that a local<br>
copy of it resides in a directory of a certain name. Is this a GHC issue<br>
or an issue with your linear-types branch?<br>
<br>
All the best,<br>
Wolfgang<br>
<div class="HOEnZb"><div class="h5"><br>
Am Mittwoch, den 05.07.2017, 16:20 +0000 schrieb Edvard Hübinette:<br>
> Hi Wolfgang, <br>
><br>
> I've put together a small README for getting this up and running (both<br>
> for using stack with pre-built Docker images, and from source). It can<br>
> be found in the repository here: <a href="https://github.com/tweag/ghc/tree/lin" rel="noreferrer" target="_blank">https://github.com/<wbr>tweag/ghc/tree/lin</a><br>
> ear-types.<br>
><br>
> Hope this will help!<br>
><br>
> Cheers,<br>
> Edvard Hübinette<br>
</div></div></blockquote></div><br></div>