I keep running into an error in my terminal as I try to test my cvc4 installation. Here are the steps that I took to do my installation:
Install Prerequisites
sudo apt-get update
sudo apt-get upgrade
sudo apt-get install emacs opam libboost-all-dev libreadline-dev
Install CVC4
wget http://cvc4.cs.stanford.edu/downloads/builds/src/cvc4-1.5.tar.gz
tar xfz cvc4-1.5.tar.gz
cd cvc4-1.5
contrib/get-antlr-3.4
./configure --with-antlr-dir=/home/user/cvc4-1.5/antlr-3.4 ANTLR=/home/user/cvc4-1.5/antlr-3.4/bin/antlr3 --enable-gpl
make
make check
sudo make install
Environment
I added this line to the end of my ~/.profile:
export LD_LIBRARY_PATH="/usr/local/lib:$LD_LIBRARY_PATH"
Test
cvc4
And then I get this error:
cvc4: error while loading shared libraries: libcvc4parser.so.4: cannot open shared object file: No such file or directory
I'm not sure what is wrong. I'm new to Linux so my apologies if this has an obvious solution.
Related
I installed Acrobat reader on Debian 11/Bullseye following instructions from here
sudo dpkg --add-architecture i386
sudo apt-get update
sudo apt-get install libxml2:i386
Download the Adobe Acrobat Reader (acroread) package here:
ftp://ftp.adobe.com/pub/adobe/reader/unix/9.x/9.5.5/enu/AdbeRdr9.5.5-1_i386linux_enu.deb
Install it as follows:
cd ~/Downloads
sudo dpkg -i AdbeRdr9.5.5-1_i386linux_enu.deb
sudo apt-get -f install
acroread
When I run acroread from the terminal, I get the following error:
opt/Adobe/Reader9/Reader/intellinux/bin/acroread: error while loading shared libraries: libgdk_pixbuf_xlib-2.0.so.0: cannot open shared object file: No such file or directory
I followed instructions in this ubuntu forum and added i386 architecture (which is already done above):
sudo dpkg --add-architecture i386
I understood that I need to install ia32-libs, which in debian is done as per this
dpkg --add-architecture i386
apt-get update
apt-get install libc6:i386
Also followed advice to install libc6-i386 in the same thread.
But still get the error:
/opt/Adobe/Reader9/Reader/intellinux/bin/acroread: error while loading shared libraries: libgdk_pixbuf_xlib-2.0.so.0: cannot open shared object file: No such file or directory
Please advice how to solve and any pointers will be greatly appreciated
I simply had to install the i386 package for libgdk-pixbuf2.0-0:
sudo apt-get install libgdk-pixbuf2.0-0:i386
Now acroread runs fine.
Yeah !
After quite a few trials and errors, this is how i could install acrobat reader on Ubuntu 22.04 :
$ wget ftp://ftp.adobe.com/pub/adobe/reader/unix/9.x/9.5.5/enu/AdbeRdr9.5.5-1_i386linux_enu.deb
$ sudo dpkg -i AdbeRdr9.5.5-1_i386linux_enu.deb
$ sudo apt-get install libgdk-pixbuf2.0-0:i386
At some point i also did
$ sudo dpkg --add-architecture i386
(but not sure that last line is required)
I'm learning how to compile the Linux kernel on Ubuntu. Following step by step, I encountered errors like this. There is no problem until
$ sudo make menuconfig
but sudo make doesn't work. I installed these libs.
sudo apt-get install libncurses5-dev
sudo apt-get install libssl-dev
sudo apt-get install libelf-dev
sudo apt-get install flex
sudo apt-get install bison
How can I include this header file?
drivers/gpu/drm/nouveau/nvkm/subdev/i2c/base.c:25:10: fatal error: aux.h: No such file or directory
25 | #include "aux.h"
The aux.h file should be in the directory drivers/gpu/drm/nouveau/nvkm/subdev/i2c, you can go to the path to check whether there is the file and if not, you can redownload it.
You said you are using a Virtual Machine, so I assume Windows is your host. Windows doesn't allow files name aux*, but there are ways around it, e.g rename in WSL or cygwin... and perhaps a virtual machine will work too. See here for more information:
https://superuser.com/questions/206423/windows-7-can-not-rename-a-file-to-aux-svg-the-specified-device-name-is-inva
I recently set up an AWS EC2 Linux instance, and I'm trying to install boost using the following code:
wget -c
http://sourceforge.net/projects/boost/files/boost/1.66.0/boost_1_66_0.tar.bz2
tar jxf boost_1_66_0.tar.bz2
cd boost_1_66_0
sudo ./bootstrap.sh --prefix=/usr/local/
./b2
sudo ./b2 install
When I run this, I get the following:
error: toolset gcc initialization:
error: no command provided, default command 'g++' not found
error: initialized from project-config.jam:12
Also, when I tried installing g++, which I thought I had already done by issuing this:
sudo yum install gcc-c++
The result:
Package gcc-c++-4.8.5-1.22.amzn1.noarch already installed and latest version
Nothing to do
On AWS Linux the way to go is described here: https://docs.aws.amazon.com/AWSEC2/latest/UserGuide/compile-software.html
Or execute command:
sudo yum groupinstall "Development Tools"
This should help.
It seems like you are missing other build tools required for compiling. Installing following should fix your problem,
sudo yum install -y gcc libxml2-devel gcc-c++ make
You can uninstall the tools afterwards.
I'm writing a shell script so that I can quickly install dependencies on fresh virtual machines via OpenStack. I have written these dependencies in a script file but upon running, I receive the following error for each one:
E: unable to locate package ***
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: unable to locate package ****
and so on. I'm not sure what's going wrong, as I know the packages I've listed exist, and running sudo apt-get install *** (with the package names in the file) works as expected. My shell file looks like this:
#!/bin/bash
#shell script for installation on a VM
#i've never written a shell script before so bear with me please
apt-get update
apt-get --assume-yes install build-essential
apt-get --assume-yes install git
apt-get --assume-yes install make
apt-get --assume-yes install xclip
apt-get --assume-yes install python
apt-get --assume-yes install liblapack-dev
apt-get --assume-yes install libblas-dev
apt-get --assume-yes install libboost-dev
apt-get --assume-yes install libarmadillo-dev
and I'm running it as sudo bash freshinstallscript.sh.
I fixed the issue; it seemed to be related to line endings. To fix, I installed dos2unix and converted the shell file.
I'm trying to install recordmydesktop-0.3.8.1 under rhel6.4 x86_64.
while running ./configure I get the following error message:
configure: error: Can't find libvorbis
But I have libvorbisfile.so.X files under my /usr/lib directory. The headers
codec.h, vorbisenc.h and vorbisfile.h also exists in my /usr/include/vorbis directory.
Could you help to resolve this issue please?
I had the same problem while installing recordMyDesktop. I found a simple solution. I installed libvorbis:
sudo apt-get install libvorbis-dev
If it also asks for other packages simply add the package name as following pattern:
sudo apt-get install lib[library-name]-dev
Uninstall existing libvorbis and try below steps to re-install.
cd /opt
wget http://downloads.xiph.org/releases/vorbis/libvorbis-1.3.4.tar.gz
tar xzvf libvorbis-1.3.4.tar.gz
cd libvorbis-1.3.4
./configure --prefix="$HOME/ffmpeg_build" --with-ogg="$HOME/ffmpeg_build" --disable-shared
make
make install