I can't seem to install Z3 (4.3.1) on Max OS X Mountain Lion (with Xcode / Command Line tool installed properly). The problem is autconf is not installed/shipped with Xcode and its command line tool.
Do I need to download and install autoconf/automake etc from source ?
Yes, we need autoconf to install Z3 v4.3.1.
The next release will not have this dependency.
In the meantime, we can build the unstable (work-in-progress) branch without using autoconf.
Here are the instruction to compile the unstable branch.
The same instructions can be used also to compile the contrib branch. This branch is essentially contrib + external (non-MS) contributtions.
Related
I've been trying to build GCC 10.2 on my Intel MBP. As I've always done, I'm building from source and installing on /usr/local. Trouble is no matter what, the build fails on STAGE2 of bootstrapping. A careful search on all logs (including dependencies) could not point to a single fault. The only thing that stood out was the clang setup from Xcode Command Line Tools. When I run 'gcc -v' on a clean system (empty /usr/local), it outputs:
Configured with: --prefix=/Library/Developer/CommandLineTools/usr --with-gxx-include-dir=/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/usr/include/c++/4.2.1
Apple clang version 12.0.0 (clang-1200.0.32.29)
Target: x86_64-apple-darwin20.2.0
Thread model: posix
InstalledDir: /Library/Developer/CommandLineTools/usr/bin
Trouble is that the target for --with-gxx-include-dir doesn't exist! There is no c++ subfolder, to begin with. Although there is one from the --prefix tree, instead of 4.2.1, there is just a v1 subfolder.
It would appear that there is something terribly wrong with Xcode Command Line Tools. But I can't be sure that this is the cause of my own troubles.
Please, don't answer this post pointing me to a package manager... there's a reason I abandoned those years ago. Also, it would be off-topic to the issue at hand.
I've finally managed to isolate the issue. GCC 10.2 depends on GMP, MPFR, MPC, and ISL libraries. I had them manually installed with the latest version available and fine tuned to my system. I didn't explore if it was a version conflict, or a fine tuning issue, but that broke the build. The solution was to let the script 'contrib/download_prerequisites' (within gcc tree) download the appropriate versions that were built along with GCC.
I also found out that the '--with-gxx-include-dir' target is a non-issue. It isn't supposed to point anywhere in my system. It is a reference to the system that built the "gcc" provided by Xcode Command Line Tools.
I upgraded my mac to Sierra and I can't install qt. I wrote "brew install qt" and I received the message below. Do you have any recommendations?
"This formula either does not compile or function as expected on macOS
versions newer than El Capitan due to an upstream incompatibility.
Error: An unsatisfied requirement failed this build."
if you really need qt4, you can try
brew install cartr/qt4/qt
I was able to sucessfully work around this on a fresh install of Sierra this evening.
It looks like qt.rb will execute just fine on MacOS Sierra, you just need to remove the Maximum OS requirement entry to allow it to run.
This is what was required on my machine.
/usr/local/Homebrew/Library/Taps/homebrew/homebrew-core/Formula/qt.rb
Comment out line 36 as follows
#depends_on MaximumMacOSRequirement => :el_capitan
I am curious if this works for others.
Thanks
Searching with
brew search qt
you can see there is a QT5
brew install qt5
According to https://github.com/Homebrew/homebrew-core/issues/1957#issuecomment-225806023 there will be no support for qt(4)
Qt4 is not supported anymore; users should upgrade to Qt5. Homebrew backported a fix for 10.11 but doesn’t intend to maintain this forever. There’s currently a pull-request that may fix that. You’ll have to wait for it to be merged if you want to install Qt4 with Homebrew.
install qt4
Please note: Qt4 is unsupported by its creators, so there are likely security/usability problems with it that will never be resolved. If you can, please consider migrating your projects to Qt5.
resource : https://github.com/cartr/homebrew-qt4
brew tap cartr/qt4
brew tap-pin cartr/qt4
brew install qt
I tried to install gcc 5.2 (already installed dependencies successfully) from source file on my computer one week ago, but it failed at make phase or make install phase because of missing some ****.h files, whatever, i can not remember clearly.
I searched the reason online, and looks like it is because i did not installed Command Line Tools for Xcode. But I already have Xcode 7.1.1 and i think it includes the Command Line Tool. I find it from File -> New -> project -> OS X Application -> Command Line Tool. I can also use gcc --version in the terminal.
So do i need to install Command Line Tools separately? If I need, and why?
did you try to download it like described in the attached images:
If you have installed Xcode you have installed command line tools too. Xcode installs command line tools automatically the first time you open it ("Installing additional components" is the message you see on the screen).
Actually xcode cannot function without the command line tools (build, git etc).
short answer: no, you don't.
this is the official description for the Command Line Tools for Xcode (from the https://developer.apple.com/download/all/):
This package enables UNIX-style development via Terminal by installing command line developer tools, as well as macOS SDK frameworks and headers. Many useful tools are included, such as the Apple LLVM compiler, linker, and Make. If you use Xcode, these tools are also embedded within the Xcode IDE.
long answer: it depends.
for example, if you're using homebrew package manager it requires CLT
(from homebrew member comment https://github.com/Homebrew/brew/issues/10714#issuecomment-786663987)
The reason we need the Command Line Tools rather than just Xcode.app is for a few reasons:
The CLT contains more SDKs than Xcode - Xcode usually only contains one SDK, and it may be newer than your OS, while the CLT always has a compatible SDK. Having a matching SDK is very important for some formulae.
The CLT is in a fixed location /Library/Developer/CommandLineTools while Xcode is not. This matters as some formulae (including Python) bake in paths into files at compile-time - if they pointed to Xcode then it will only work for people who have Xcode installed in the same place.
I was successful in installing MINGW32 and CMake and rebuilt OpenCV 2.3.2 (the superpak). But V2.4.2 is not the superpak and doesn't have all the files that V2.3.1 has. My attempt to rebuild was very short (seconds rather than 20 minutes). This is Win XP Pro SP3.
The OpenCV wiki and various guides don't work because the V2.4.2 package is very different. The Yahoo OpenCV group does not respond. My guess is they don't know.
Can I/Do I rebuild V2.4.2, and if so how?
Same way you build any other version.
Run cmake-gui, configure, generate then build the resulting .sln
http://opencv.willowgarage.com/wiki/VisualC%2B%2B_VS2010_CMake
I have a problem with Rhostudio, Mac OS X 10.7.3 Lion and Ecplise.
Rhostudio install as app as a plugin but it does not work.
If I create the project is blank. In the preferences tells me can not find the path of Rhodes.
On my Mac development in Ruby on Rails with Aptana Studio 3. It works perfectly and use Ruby 1.9.3 and RVM.
The gems are installed correctly.
What is my problem? What can I do?
I had the same issue on Mac OS X Lion 10.7.3; the project is blank because Rhostudio is not properly installed, the installation seems to had gone through but it failed.
I followed the instructions from here http://docs.rhomobile.com/rhostudio.tutorial#installing-rhostudio but when I ran the install gems script, a 'Please install building tools' message was coming out on the terminal. The script fails because it looks for the developer folder and does not find it, you can still run Rhostudio, but it doesn’t work properly. There are several things you could do, like installing a version of Xcode that would create the developer folder, but you don’t really need that.
This is what I did:
1. I cleaned all previous installations of Rhostudio.
I installed the latest Xcode, the latest version of Xcode does not create the developer folder, as you can see here: https://developer.apple.com/library/ios/#documentation/DeveloperTools/Conceptual/WhatsNewXcode/Articles/xcode_4_3.html#//apple_ref/doc/uid/1006-SW1
I then installed the Command-Line Tools; these are now optional and the instructions are on the same link of step two.
I repeated the basic installation steps from the tutorial and when it was time to run the install gems script I opened it with a text editor and ran every command manually from the command line, I skipped the validations that search for the developer folder and the Java installation. The developer folder doesn’t have to be there anymore but you must have Java installed.
Once I finished running every command the installation was complete. If you create a new project this time the folder should not be empty.
I configured Rhostudio according to the instructions and the framework I needed to work on and everything went smooth.
I hope that helps, and note that whenever you tried installing by running the Install Gems script the error was coming out to the terminal, based on that message you’ll find if something else is happening. The two initial validations can only output the error messages 'Please install building tools' or 'Please install java development kit'.