-
Notifications
You must be signed in to change notification settings - Fork 84
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
Trying to update, can't find original git clone folder #150
Comments
When I installed it, I had to point the |
With the default I found extra arguments (which looked familiar; I must have used them the first time around) in build-instructions.md... Changed them to: |
Are you all set? |
Yup! |
I'm currently on an older version:
Unfortunately I have no idea where I cloned this git repo into originally and can't find it. I cloned it again and ran
mvn clean install
, which says it completed successfully:But this doesn't seem to have upgraded my global install:
which cflint
points me tousr/bin/cflint
which is a symlink to/usr/local/lib/cflint/bin/cflint
, but that's an executable shell script and from there I'm lost.How to I get my newly built version of cflint to replace the old one?
The text was updated successfully, but these errors were encountered: