-
Notifications
You must be signed in to change notification settings - Fork 167
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add more detailed installation instructions with Homebrew #268
Comments
After you have ran In the case that under no circumstances you are able to find the installation directory, you can always add PropEr as a dependency of the project you want to use it in (e.g., in your |
Thank you, with rebar3 I'm actually able to use it, setting manually the path is still not working but now is a lower priority. |
Okay, I got a colleague who has a Mac to help me out fixing this issue. At the end of the output you get from running So, you will find PropEr installed at |
Having the same issue as @mezzomondo: > brew install proper && export ERL_LIBS=/usr/local/Cellar/proper/1.4 && erl
Warning: proper 1.4 is already installed and up-to-date.
To reinstall 1.4, run:
brew reinstall proper
Erlang/OTP 24 [erts-12.1.5] [source] [64-bit] [smp:16:16] [ds:16:16:10] [async-threads:1] [jit] [dtrace]
Eshell V12.1.5 (abort with ^G)
1> c(my_sort).
my_sort.erl:3:14: can't find include lib "proper/include/proper.hrl"
% 3| -include_lib("proper/include/proper.hrl").
% | ^ README seems to be wrong. |
We clearly need help here from some user who has access to a MacOS environment and knows / can check what needs to be done there. |
Happy to jump in in a call or something to sort it out. |
We need some PR to the README that describes the actions that homebrew users need to make in order to be able to use PropEr (from the Erlang shell). I have no idea about how homebrew stores packages, but surely there is some (a single?) place in the file system where PropEr's Perhaps it's just a matter of manually adding symbolic links to cd /usr/local/Cellar/proper
ln -s 1.4/ebin .
ln -s 1.4/include . and things will magically work from then on. If we need a call to sort out this, my skype ID is of the form: name_surname |
Update: It turns out it's a Homebrew issue, the folder created by See this discussion: Homebrew/discussions#2537 |
Since the PR was merged to Homebrew's repo, I am closing the issue. Thanks to all and to @mezzomondo in particular for opening the issue and for his help. |
Hi,
It's unclear from the README how to go from:
brew install proper
to
-include_lib("proper/include/proper.hrl").
In particular no
/full/path/to/proper
that I can think of works inload_abs
nor in theERL_LIBS
environment variable.PS: I can update the README once it's sorted out, thank you :)
The text was updated successfully, but these errors were encountered: