Closed marcosleandro9205 closed 4 years ago
I assume you downloaded a zip file instead of cloning with git. Either use git clone or manually download the submodules too. (https://github.com/tgehr/ast and https://github.com/tgehr/util)
Also see: https://silq.ethz.ch/install
After running ./dependencies-release.sh , I have this message , why? fatal: not a git repository (or any of the parent directories): .git fatal: not a git repository (or any of the parent directories): .git
After running ./build-release.sh , I have this message , why? Error: module is in file 'ast/.d' which cannot be read import path[0] = /home/user/Downloads/silq-master/ldc2-1.18.0-linux-x86_64/bin/../import