search

idris-lang / Idris-dev

A Dependently Typed Functional Programming Language
http://idris-lang.org
Other
3.43k stars 643 forks source link

cleaning depends on Idris being already installed #2081

Open jstolarek opened 9 years ago

jstolarek commented 9 years ago

Running cabal clean or make clean depends on Idris already being installed. This is a pain. I have a build tree that I used a long long time ago to build a git version of Idris. Binary built back then is no longer on my system. Now that I updated my repository to latest got version the build process fails with:

make -C base build
make[1]: Entering directory `/dane/projekty/Idris-dev/libs/base'
../../dist/build/idris/idris --build base.ipkg
Incompatible ibc version.
This library was built with an earlier version of Idris.
Please clean and rebuild.

So I can neither build idris nor clean the build tree.

neduard commented 8 years ago

Happened to me as well. As a workaround, I used git clean -xf. This might also apply to #2710.

ahmadsalim commented 8 years ago

rm **/*.ibc works as well for a workaround if you are in the Idris repository (and you are using something like zsh).

LeifW commented 8 years ago

Oh, that's a lot shorter than typing out find . -name *.ibc -delete On May 22, 2016 3:00 AM, "Ahmad Salim Al-Sibahi" notifications@github.com wrote:

rm */.ibc works as well for a workaround if you are in the Idris repository.

— You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub https://github.com/idris-lang/Idris-dev/issues/2081#issuecomment-220821598