I tried to install wiretap-tools from its repository. When I run cabal configure from inside the folder, I get :
cabal: Encountered missing dependencies:
z3 >=4.1.0
I have already installed z3 using sudo apt-get install z3. I added /usr/bin to path variable, where z3 seems to be installed. When I run z3 -version, I get Z3 version 4.8.0 - 64 bit. Still the configure command gives the error.
The missing dependency is not the z3 program which you got from apt-get but the z3 haskell library. You can install it like any other cabal library. Typically you set up a sandbox and then run cabal install --only-dependencies or using the more modern new-build run cabal new-build and it manages all that for you.
Related
So, I'm trying to get cabal installed so I can get quickcheck to work in haskell, but nothing seems to work. Whenever I try to run "cabal-install" in my terminal (on mac) I get the same message "command not found", I've looked at multiple different "solutions" and even "solutions" on the cabal website, but nothing seems to work. Any help at all would be much appreciated
cabal-install is a package. cabal is the executable/command installed by the cabal-install package. cabal install is a subcommand of the cabal command—it's the command cabal called with the argument install. Your full command "should" be cabal install QuickCheck, but there's no point in actually executing that command. If you have Cabal v1 or v2, cabal install refers to the version 1 install method, which is broken and dangerous. If you have Cabal v3, cabal install refers to the version 2 install method, where cabal install QuickCheck is pointless. It will install QuickCheck, but QuickCheck is just a library with no executables, so there's no point.
Assuming cabal-install is correctly installed (you should have access to the cabal command), you need to figure out what you're going to do with QuickCheck. If you just want to open a GHCi session, say cabal v2-repl -b QuickCheck. If you want to compile a bunch of files (i.e. you want something more "permanent"), you need to create a package, where the <pkgname>.cabal file contains something along the lines of
build-depends: base, QuickCheck, ..etc
When you build such a package with cabal v2-build, or you start GHCi with cabal v2-repl -b QuickCheck, cabal will go and install QuickCheck automatically if it needs to. This is why cabal v2-install QuickCheck is pointless.
I am using the following command for OpenMPI installation on Ubuntu 17.10:
sudo apt-get install openmpi-bin openmpi-common openssh-client openssh-server libopenmpi1.3 libopenmpi-dbg libopenmpi-dev.
However, I get the following error:
E: Unable to locate package libopenmpi1.3
I wanted to know how to fix this. Alternatively,I am open to installing openmpi differently if anyone knows another way of doing it.
apt-get install libopenmpi1.10 would work.
Given:
$idris -v
0.99
I would like to upgrade to version 1. However, I blindly tried to upgrade by running cabal install idris to see this output:
$cabal install idris
Resolving dependencies...
All the requested packages are already installed:
idris-1.0
Use --reinstall if you want to reinstall anyway.
So, it appears that I've already installed idris version 1, but I'm not using it, per the idris -v output?
How can I use Idris v1 given my situation?
Depending on where .cabal dir is located...
add an Idris symlink to /usr/bin: a text file with the string /root/.cabal/bin/idris in it named idris. Specific path: /usr/bin/idris.
add a line to the end of your .bashrc file: export PATH="/root/.cabal/bin:$PATH"
My Linux distro is Ubuntu 16.04.2 LTS.
I'm trying to install V4L2 on Ubuntu 10.04 (lucid) that require the xlibs-devinstalled. I tried: sudo apt-get install xlibs-dev but it returns:
Reading package lists... Done
Building dependency tree
Reading state information... Done
Package xlibs-dev is not available, but is referred to by another package.
This may mean that the package is missing, has been obsoleted, or
is only available from another source
E: Package xlibs-dev has no installation candidate
then I tried:
First attempt: attemp:sudo apt-get install xorg-dev;
Second attemp: sudo apt-get update and sudo apt-get upgrade;
All failed. same install xorg-dev,updated and upgraded my packages, can't to install the xlibs-dev library. how to fix this? thanks in advance.
The command
apt-cache search xlib dev
suggest you to
aptitude install libx11-dev
And your distribution might have V4L2. Consider installing the v4l2ucp package...
PS. There is no s letter in xlib because it is one library, not several!
I installed opencv2.3 on ubuntu by first adding the ppa and the doing apt-get install
$ sudo add-apt-repository ppa:gijzelaar/cuda
$ sudo add-apt-repository ppa:gijzelaar/opencv2.3
$ sudo apt-get update
$ sudo apt-get install libopencv-dev
I am developing on Eclipse and my programs work. I have this one problem though, while following an ebook. I cannot find the /opencv/samples folder in my system. I did a unix directory search to no avail.
Also, in Synaptic Package Manager I find that the opencv packages are not marked green, ie they're not installed. However I have written and executed opencv codes on my machine.
What is the reason for this?
It seems you have installed binary OpenCV package while the samples are (most likely) included only to source package.