Can the latest z3 be installed in the Redhat linux platform? There is no mention to this platform in the https://github.com/Z3Prover/z3
As you pointed out, we currently do not provide pre-compiled binaries for RedHat Linux. We currently only provide pre-compiled binaries for: Ubuntu and Debian. We also regularly compile Z3 on Fedora.
That being said, you should be able to compile Z3 on RedHat Linux without problems. In particular, we have managed to compile the unstable (work-in-progress) branch in many different platforms.
See this related question:
Installation of Z3 on a posix system without python?
This link has instructions on how to compile Z3 on Linux.
Related
Short
Does libboost-python have a multiarch support for armhf?
Elaborate
I want to install libboost-python on a amd64 bit machine, for armhf cross compilation purposes. Thus it should be armhf. However, in the dependency chain libboost-python will try to install python, and since the first package is :armhf, python also should be armhf. Which cases a failure, because one of the post scripts runs the python interpreter, and it cannot be run since the interpreter is armhf while the machine is amd64.
As far as I've investigated, libboost-python Debian package does not support multiarch. A possible soultion for the problem in the post is using qemu in order to emulate a "native" environment for building packages.
I want to install OpenAL Haskell bindings for Windows. When I try cabal install alut I get:
Resolving dependencies...
Configuring OpenAL-1.4.0.2...
cabal: The package has a './configure' script. This requires a Unix
compatibility toolchain such as MinGW+MSYS or Cygwin.
Installing MSYS or Cygwin is absolutely not an option. runghc setup configure on the source yields the same thing. This leads me to the following:
How can I install OpenAL with just an installation of the Haskell Platform? I know mingw comes with the Haskell Platform on Windows. Can I use just that to execute this script?
Is there a package that can play audio that installs with cabal on Windows 7 AND Unix based systems?
The source contains hundreds of directives designed for the configure script, which doesn't work on Windows. Is there a version of the source which is platform specific, ie, the script has already been run in a windows environment?
Edit: Context for the problem:
I have a Haskell program, which among other things, plays sound. It is going to be used for demonstration/interactive presentation to students. The computers in the lab run Windows 7. They have the Haskell Platform installed, but not MSYS or Cygwin. I have about 45 minutes to complete this, which doesn't leave time for the installation of needlessly complex and essentially pointless software. If I could get Windows-compatible source code, I could just distribute it with the program I wrote. All the packages I need besides this one will cabal install just fine; this is also a good introduction to package management.
Edit2: cabal install fails with Cygwin installed, as does runghc setup configure
Ok, I know how to install Perl modules with cpan and have been doing it for years. But when I try to install the DateTime module on this particular mac, it fails, claiming that it cannot find a compiler.
Here is some of the output from attempting to install one of the prerequisites, Params::Validate: ( I get the same kinds of errors from attempting to install the module in question.)
Configuring Params-Validate-1.00
Running Build.PL
/usr/libexec/gcc/powerpc-apple-darwin10/4.2.1/as: assembler (/usr/bin/../libexec/gcc/darwin/ppc/as or /usr/bin/../local/libexec/gcc/darwin/ppc/as) for architecture ppc not installed
Installed assemblers are:
/usr/bin/../libexec/gcc/darwin/x86_64/as for architecture x86_64
/usr/bin/../libexec/gcc/darwin/i386/as for architecture i386
lipo: can't open input file: /var/tmp//cc3Aefez.out (No such file or directory)
Warning: ExtUtils::CBuilder not installed or no compiler detected
Proceeding with configuration, but compilation may fail during Build
Why is Build.PL looking for a ppc compiler? If that is the problem where do I tell it (or cpan, or cpanm) that this machine is not a ppc box?
I'm running 10.6.8. The version of perl is v5.10.0 built for darwin-thread-multi-2level
I most definitely have the Developer tools installed.
I'm running cpan and cpanm via sudo.
I'd be grateful for any assistance anyone can offer.
known problem with Xcode on Lion, Apple couldn't help messing around with nm, breaking Perl again (previously) and who knows what else
p5p discussion
perlbrew's info
You are on an unsupported Perl. Upgrade to stable.
I've got 10.7 installed which comes with Perl 5.12.3 installed. I did a CPAN install:
$ sudo cpan
password:
cpan> install DateTime
And, the whole thing works. Is this something you need for a third party file, or do you want to use this because you're familiar with this particular package?
There are several built in Time packages with Perl 5.10. Would one of these work for you? Otherwise, you might need to install ExtUtils::CBuilder and see if that helps.
Or, install a more modern version of Perl such as ActiveState which is pretty simple to install, its cpan utility works pretty good on a Mac, and it's version 5.14 which is even newer than the version that comes with Lion.
I think what's happening is that the installer is trying to compile something (possibly an XS module) and to do that it needs to use the same compiler that was used to compile whichever version of Perl is on your system, and it can't find it.
Your best bet would be to install your own version of Perl 5.10 using perlbrew as this gaurantees the compiler is available (make sure you edit your .profile so Terminal uses your new Perl), then re-open Terminal, switch to the perlbrew version of Perl 5.10 and you should be fine from then on.
If you have problems installing the perlbrew Perl then as daxim noted above refer to the Lion fix
How to build GCC 4.7 on Windows?
You are not finding instructions on how to do this because you cannot natively use gcc in Windows. Your options are either to use gcc through Cygwin [installation instructions] or install the MinGW port [installation instructions].
You can also find links to these projects on the Installing GCC: Binaries page.
Well, gcc 4.7 has not yet been released (it will be released in a few months, i.e. spring 2012).
If your system is Windows then I am sorry for you, Linux is so much better :-) More seriously, you should search for cygwin gcc. I cannot help you in that case.
What did you try? Building GCC (even on Linux) is not an easy task. Some hints (which I guess are also relevant to cygwin & windows).
Always configure and build the compiler in a build tree outside of the source tree. (this is a common mistake).
take care of the many dependencies (and their versions), like the Parma Polyhedra Library, Cloog, etc ...
some features of GCC are not available on Windows. In particular plugins.
I would suppose that installing the binary of an older variant of cygwin gcc (and all the related packages) will help.
But really, I know nothing about Windows. And if you really want a very recent GCC and you cannot install Linux (or build GCC cygwin), you might perhaps consider running Linux in an emulator or virtual machine.
I have a Qt application that I can compile in Ubuntu 10.04 64-bit and on Windows. However, I would like to avoid switching to Windows every time I want to compile the Windows version.
Is there a way I can compile a Windows Qt executable in Ubuntu with mingw32 or something?
Further, is there a way to integrate that compiler into Qt Creator?
There is a PPA (Personal Package Archive) for some people who are cross-compiling Qt and related software on Ubuntu for Windows. The PPA contains both the cross-compilers and the dependencies you will need to cross-compile Qt programs. If you look at the source packages there, I think you will be able to figure out how to configure your projects and build them.
If you most of your time spend coding with Qt on Linux (for example, Ubuntu), you may produce some experiment: install Wine, install Qt SDK for Windows with Wine and tried to build some simple project!
And if you don't like crazy things, which I wrote above, just use VirtualBox.