I am trying to install Kframework without success. I installed all the dependencies following instructions at https://github.com/kframework/k/tree/master#prerequisite-install-guide and updated the environment variables as suggested.
I have export PATH="~/z3-4.8.7-x64-osx-10.14.6/bin:$PATH" .
I am running:
brew uninstall kframework
brew uninstall z3, and uninstall the version installed outside of brew
brew clean && brew update && brew upgrade
brew install z3 kframework
Brew install kframework produces the following warning about Command Line Tools:
Warning: A newer Command Line Tools release is available.
Update them from Software Update in System Preferences or run:
softwareupdate --all --install --force
If that doesn't show you any updates, run:
sudo rm -rf /Library/Developer/CommandLineTools
sudo xcode-select --install
and eventually ends with
<<< ERROR!
143 org.kframework.utils.errorsystem.KEMException: [Error] Critical: Could not start z3 pr ocess (IOException: Cannot run program "z3": error=2, No such file or directory)(Even though my CLT are up to date and installed in the right place ).
My CommanLineTools seem legit. I have Xcode Version 11.3.1 (11C505),
and have installed CommanLineTools from a binary I downloaded from apple development site Command_Line_Tools_for_Xcode_11.3.1.dmg
Typing "xcode-select -p" gives
/Library/Developer/CommandLineTools
my z3 is : z3 -version
Z3 version 4.8.7 - 64 bit (binary downloaded from z3 website) .
I tried this also with Z3 version 4.8.12
Any advice appreciated.
I installed the latest Xcode 11 release (11A420a) on Mojave 10.14.6 and now homebrew fails with
Error: Xcode alone is not sufficient on Mojave.
Install the Command Line Tools:
xcode-select --install
The command line tools are installed
$ xcode-select --install
xcode-select: error: command line tools are already installed, use "Software Update" to install updates
Any idea how to get past this?
Although your XCode is 11, your XCode Command Line tools are outdated. Upgrade the XCL according to the error message.
Turns out the system was confused about what was in /Library/Developer/CommandLineTools. So I removed that version and did xcode-select --install and everything is happy again.
Has anyone managed to install Carthage on macOS 10.15 Catalina (Beta)?
I tried to install Carthage using HomeBrew:
brew install Carthage
I get the following error message:
Error: You are using macOS 10.15.
We do not provide support for this pre-release version.
You will encounter build failures with some formulae.
Please create pull requests instead of asking for help on Homebrew's Github.
Discourse, Twitter or IRC. You are responsible for resolving any issues you experience, as you are running this pre-release version.
Now, I do understand that there might be some issues, I am using these beta softwares on my secondary MacBook Pro, so no worries but I can't install it and any tips would be much appreciated.
The issue is expected
'Homebrew install fails under Catalina 10.15 #2807'
Mon Jun 10 08:32:38 IDT 2019
https://github.com/Carthage/Carthage/issues/2807
Suggested solution
To install build carthage from sources in master (commit that worked for me: e41076782bed7b3609a53f4662480058a65e9a4e)
Following instructions in https://github.com/Carthage/Carthage#installing-carthage to build from master you need to run this:
git clone --depth=1 "https://github.com/Carthage/Carthage.git" &&\
cd Carthage &&\
make install
I run these commands on macOS 10.15.4 Catalina and worked for me.
ruby -e "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install)" < /dev/null 2> /dev/null
sudo chown -R $(whoami) /usr/local/*
/bin/bash -c "$(curl -fsSL https://raw.githubusercontent.com/Homebrew/install/master/install.sh)"
brew install carthage
So the issue seems to be Homebrew for some reason.
The solution I found is to use the GUI installer from the releases page. Before you build any frameworks, make sure to switch to the Xcode you're currently using.
If you are using Xcode 11 (beta), run this in terminal:
sudo xcode-select --switch /Applications/Xcode-beta.app
and for Xcode 10 (current)*
sudo xcode-select --switch /Applications/Xcode.app
Hope this helps!
I'm running OSX 10.8. My Mac had Snow Leopard when I got it, but I have since upgraded to Lion and then Mountain Lion. I'm trying to get my Ruby on Rails environment set up, and when I run Homebrew's "brew doctor" command, I get this:
Warning: You seem to have osx-gcc-installer installed.
Homebrew doesn't support osx-gcc-installer. It causes many builds to fail and
is an unlicensed distribution of really old Xcode files.
Please install the CLT or Xcode 5.0.1.
Warning: Your compilers are different from the standard versions for your Xcode.
If you have Xcode 4.3 or newer, you should install the Command Line Tools for
Xcode from within Xcode's Download preferences.
Otherwise, you should reinstall Xcode.
So I uninstalled and reinstalled Xcode (now have v 5.0.2) and the command line tools, and I'm still getting the same messages. I've tried doing:
sudo /Developer/Library/uninstall-devtools --mode=xcodedir
But I get this in response:
sudo: /Developer/Library/uninstall-devtools: command not found
Thanks in advance for any help.
Try which gcc to figure out which gcc you are using.
Then run which -a gcc to see all the gcc's that you have installed.
You'll probably find that you're using the osx version and that changing your path ordering in shell config, eg. bash.rc will fix this brew doctor error.
I'm stuck trying to install rails on my mac. I have OS X 10.6.8 and I have confirmed that I have Ruby, version 1.8.7
I ran sudo gem update and sudo gem update --system to get the latest versions of the software.
However, when I run sudo gem install rails I get this error:
ERROR: Error installing rails:
ERROR: Failed to build gem native extension.
/System/Library/Frameworks/Ruby.framework/Versions/1.8/usr/bin/ruby extconf.rb
mkmf.rb can't find header files for ruby at /System/Library/Frameworks/Ruby.framework/Versions/1.8/usr/lib/ruby/ruby.h
Gem files will remain installed in /Library/Ruby/Gems/1.8/gems/json-1.6.3 for inspection.
Results logged to /Library/Ruby/Gems/1.8/gems/json-1.6.3/ext/json/ext/parser/gem_make.out
If you have XCode 4 or later you will need to open it and go to Preferences -> Downloads -> Components and install the Command Line tools as they aren't installed by default. Couldn't install Rails until this happened.
Im using osx 10.10. You can download from the command-line
xcode-select --install
Not sure what it needs to compile, but OSX can't compile any native ruby extensions at all unless the Apple developer tools are installed. On 10.7 Lion you can download it free from the app store, or Download it here for 10.6: http://developer.apple.com/xcode/index.php
It may also be on your OSX install discs, though probably much more out of date.
Did you install the OS X developer tools? You'll need to do this to be able to build native extensions
Just a follow up ...
it may be that you are on a mac and rails cannot find the right compiler for c headers.
just install xcode from apps store / homebrew or go to terminal ...
$ xcode-select --install
complete the installation and agree on the licensing etc, then ...
$ sudo gem install rails
There are two possible reasons for the fail:
PRIMARY REASON: Missing Xcode Command Line Tools
Verifying Xcode Command Line Tools Installation manually:
Check for presence of
"/usr/include/iconv.h" (if absent=>Missing or improperly installed Xcode CLT)
Installing Xcode CLT:
Try running xcode-select --install on terminal and follow the instructions. If it fails, open Xcode.app, select from menu "Xcode" - "Open Developer Tool" - "More Developer Tools" to open the developer site, download the installer for your OS version and run it.
SECONDARY REASON(if 1. fails): Version issues
Try upgrading the ruby version using rbenv.
Hope it helps!
Steps to sort out this issue:
Follow these steps unless error is fixed.
Open terminal and run commands:
sudo xcode-select --install
sudo xcodebuild -license accept
Make sure you have installed only one Xcode and it is the latest one. If more than one version is installed then keep only the latest one with name in applications like Xcode.app
Open Xcode->preferences->locations then check if any command line tools are selected; if not then select
Install Ruby by:
brew install ruby
Install CocoaPods by
sudo gem install cocoapods
Try to install Ruby via RVM. I solved in this way
How to install ruby on Ubuntu with rvm
The Command line tools didn't solve this issue for me.
I upgraded ruby installation through rbenv to 2.2.0, made that the global default ruby installation, and this issue was fixed.
Switch Ruby to Homebrew version:
$ brew install ruby
$ brew link --overwrite ruby
$ echo 'export PATH="/usr/local/opt/ruby/bin:$PATH"' >> ~/.bash_profile
$ echo 'export LDFLAGS="-L/usr/local/opt/ruby/lib"' >> ~/.bash_profile
$ echo 'export CPPFLAGS="-I/usr/local/opt/ruby/include"' >> ~/.bash_profile
Just had a similar issue. I can confirm that installing the command line tools fixes it.
https://stackoverflow.com/a/58226876/8070378
Solved after run:
sudo xcode-select --install
sudo xcodebuild -license accept
I had this problem on macOS Catalina 10.15.7, and it seems that Xcode 12.3's Ruby is a variant of 2.6, but my software needed 2.7.
I installed rvm and ran rvm install ruby-2.7, and now it works just fine 🎉