idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-21 10:18:23 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #91 from ska80/patch-1

Browse Source 
Correct ‘Installation problem’ issue template
This commit is contained in:
Edwin Brady 2020-05-21 10:07:13 +01:00 committed by GitHub
commit 5b4e1492a8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.github/ISSUE_TEMPLATE/installation-problem.md vendored
View File

@ -12,7 +12,7 @@ Please check INSTALL.md and README.md to ensure you have all the required depend
Some common possible solutions:
* In `make bootstrap`, make sure you have the right exectuable name for `SCHEME`
* Stale `.ttc` files from an earlier version, or an out of data `IdrisPaths.idr` might be in the way. Try removing these with `make clean`
* Stale `.ttc` files from an earlier version, or an out of data `IdrisPaths.idr` might be in the way. Try removing these with `make distclean`
* Removing all trace of Idris 2 from your installation directory might help. By default this is `$HOME/.idris2` - if you have a particularly out of date version, or you have used a broken build at some point (as much as we try to avoid this) then deleting this might help.
Otherwise, please describe the problem, including any relevant parts of build logs, and describing as much about your environment as possible.