search

parapluu / Concuerror

Concuerror is a stateless model checking tool for Erlang programs.
http://parapluu.github.io/Concuerror
BSD 2-Clause "Simplified" License
333 stars 41 forks source link

Error building on osx -> readlink: illegal option -- f #141

Closed tamarit closed 7 years ago

tamarit commented 7 years ago

Hi,

I've tried to build it on OS X and the following error was raised.

readlink: illegal option -- f
usage: readlink [-n] [file ...]
make: stat: concuerror: Too many levels of symbolic links

It seems that it is a common problem in OS X. I tried this solution and it solved the problem.

I hope this helps to anyone having the same problem.

aronisstav commented 7 years ago

Thanks for the report! Will look at it as soon as time permits!

aymanosman commented 7 years ago

I also had this problem. The problem is GNU readlink differs from OSX readlink

Workaround: Manually create symlink:

ln -s $PWD/src/concuerror concuerror

The maintainers could edit the Makefile to support both versions of readlink or require OSX users to install GNU readlink via brew install coreutils or whatever.

aronisstav commented 7 years ago

Note to self for when working on this: #121 was a related issue.

sashaafm commented 7 years ago

Hello, I also get the same error on OS X Sierra. Using the suggested workaround didn't fix it. Are there any other possible solutions to this? Is a fix on the way?

Thanks!

sebarys commented 7 years ago

Hello, I am also using OS X Sierra. Receiving error like above. Any suggestions?

aronisstav commented 7 years ago

Yes, a fix is on its way. I will spend some time on this very soon now.

aronisstav commented 7 years ago

I have pushed a patch in my development branch (bf3fe22) and opened pull request #146 for this.

Since I don't have an OS machine, and Travis can't yet handle Erlang and OS can someone in this thread let me know if it works?

tamarit commented 7 years ago

Hi Stavros,

I've tried the version in you development branch and it works perfectly.

Thanks!