E: Unable to locate package cvc5 [closed] - ubuntu-20.04

Closed. This question is not about programming or software development. It is not currently accepting answers.
This question does not appear to be about a specific programming problem, a software algorithm, or software tools primarily used by programmers. If you believe the question would be on-topic on another Stack Exchange site, you can leave a comment to explain where the question may be able to be answered.
Closed 2 months ago.
Improve this question
I'm new to SMT solvers software and would like to ask for some help installing it.
On Ubuntu for Windows, it throws 'Unable to locate package cvc5' error. What could be done to solve this?
/home$ sudo apt install cvc5
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Unable to locate package cvc5
/home$ sudo apt-get install cvc5
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Unable to locate package cvc5
/home$ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description: Ubuntu 20.04.3 LTS
Release: 20.04
Codename: focal

Simply getting the binary from https://cvc5.github.io/downloads.html might be the easiest way to go, instead of trying to build it from scratch.
If you need to compile it yourself (don't do this unless you really need to!), follow the instructions on https://cvc5.github.io/docs/cvc5-1.0.2/installation/installation.html and let us know if you run into issues.

Related

can't install a go module, using get -u and install [closed]

Closed. This question is not reproducible or was caused by typos. It is not currently accepting answers.
This question was caused by a typo or a problem that can no longer be reproduced. While similar questions may be on-topic here, this one was resolved in a way less likely to help future readers.
Closed last month.
Improve this question
I want to install go-fastping, but when I try using
go get -u github.com/tatsushid/go-fastping, this error gets displayed:
go: go.mod file not found in current directory or any parent directory.
'go get' is no longer supported outside a module.
To build and install a command, use 'go install' with a version,
like 'go install example.com/cmd#latest'
For more information, see https://golang.org/doc/go-get-install-deprecation
or run 'go help get' or 'go help install'.
so I changed to install:
go install github.com/tatsushid/go-fastping
Try 'go install github.com/tatsushid/go-fastping#latest' to install the latest version
and after I did changed to: go install github.com/tatsushid/go-fastping#latest
it worked but when I try to add it in the code it says that the module is not installed.
Your project most likely doesn't have a go.mod file.
Inside the root of your project run go mod init <module-name> to create a module and then you can run go get -u github.com/tatsushid/go-fastping to add this dependency to your project.

Getting error when trying to 'go get' the geos package [closed]

Closed. This question needs details or clarity. It is not currently accepting answers.
Want to improve this question? Add details and clarify the problem by editing this post.
Closed 1 year ago.
Improve this question
i have tried to run a new project of golang i've installed everything but I faced the following problem
$ go get github.com/paulsmith/gogeos/geos
#### #github.com/paulsmith/gogeos/geos
In file included from ..\..\go\pkg\mod\github.com\paulsmith\gogeos#v0.1.2\geos\coordseq.go:4:
./geos.h:1:10: fatal error: geos_c.h: No such file or directory
1 | #include <geos_c.h>
| ^~~~~~~~~~
compilation terminated.
Looking at the installation instructions on the project's page, it seems like you have to install GEOS first; see this part: https://github.com/paulsmith/gogeos#requirements
It can be as easy as $ apt-get install libgeos-dev on Ubuntu, but the link above has instructions for a from-source installation as well.
What happens in your case is that the Go package likely uses cgo to load C code from GEOS, and it fails immediately because GEOS is not installed, and cgo cannot find the headers files.

Go (lang) can not find module [closed]

Closed. This question is not reproducible or was caused by typos. It is not currently accepting answers.
This question was caused by a typo or a problem that can no longer be reproduced. While similar questions may be on-topic here, this one was resolved in a way less likely to help future readers.
Closed 1 year ago.
Improve this question
I did go get github.com/nanobox-io/golang-scribble, but when i try to run the main.go i get the error
[jerome#thearch beer-server]$ go run main.go
../../pkg/storage/json/repository.go:14:2: cannot find package "github.com/nanobox.io/golang-scribble" in any of:
/usr/lib/go/src/github.com/nanobox.io/golang-scribble (from $GOROOT)
/home/jerome/Documents/code/go/domainhex/src/github.com/nanobox.io/golang-scribble (from $GOPATH)
so i searched it:
[jerome#thearch nanobox-io]$ find /home/jerome/Documents/code/go/domainhex/src/github.com/nanobox.io -name golang-scribble
find: ‘/home/jerome/Documents/code/go/domainhex/src/github.com/nanobox.io’: No such file or directory
There is the thing completly weird, i cd follow the link and the package golang-scribble is present at the right place. So i pwd to get the path and use it to run the same cmd as previously
[jerome#thearch nanobox-io]$ pwd
/home/jerome/Documents/code/go/domainhex/src/github.com/nanobox-io
[jerome#thearch nanobox-io]$ ls
golang-scribble
[jerome#thearch nanobox-io]$ find /home/jerome/Documents/code/go/domainhex/src/github.com/nanobox-io -name golang-scribble
/home/jerome/Documents/code/go/domainhex/src/github.com/nanobox-io/golang-scribble
I don t know what's wrong ?
If i add some other package like github.com/google/uuid or julienschmidt/httprouter, it works perfectly.
extra-info
go version go1.16.2 linux/amd64
GO111MODULE="auto"
GOPATH="/home/jerome/Documents/code/go/domainhex"
Operating System: Arch Linux
Kernel: Linux 5.11.6-arch1-1
Architecture: x86-64
You are doing go get on github.com/nanobox-io/golang-scribble but you're importing github.com/nanobox.io/golang-scribble, the difference being nanobox-io vs nanobox.io. Try changing your import statement to github.com/nanobox-io/golang-scribble.

How to install 'x2goserver' and 'x2goserver-xsession' on Ubuntu?

I am trying to install x2go server on a remote machine with Ubuntu 14.10.
This is how I try to do it:
apt-add-repository ppa:x2go/stable
apt-get update
apt-get install x2goserver x2goserver-xsession
It was all going well until the last code line, and it outputs:
Reading package lists... Done
Building dependency tree
Reading state information... Done
Package x2goserver-xsession 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
Package x2goserver 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 'x2goserver' has no installation candidate
E: Package 'x2goserver-xsession' has no installation candidate
I just want to connect the remote machine by using x2goclient which is installed on my personal computer.
Anyone has an idea how to solve this?

Unable to download the source code of Open Source projects in Mac's terminal [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.
This question does not appear to be about a specific programming problem, a software algorithm, or software tools primarily used by programmers. If you believe the question would be on-topic on another Stack Exchange site, you can leave a comment to explain where the question may be able to be answered.
Closed 7 years ago.
Improve this question
I am trying to download the source code for wget in Mac.
I managed to get the source code of wget in Ubuntu by
apt-get source wget
However, I have not managed to download source codes in Mac's terminal.
I did not find the same utility in MacPorts.
MacPorts is a source-based package manager. That means that each time you install a package via MacPorts, it downloads the source, potentially patches it, configures it, builds it, installs it to a temporary location (so it can track which files the port needs), makes an archive of it, then installs that archive into the MacPorts root, which is usually /opt/local.
If you want to look at or edit the source before building it, you can execute a subset of the steps necessary to download and install it. port extract <name> will download and extract the source for the port, without actually building or installing it. You can then find the extracted source with port dir <portname>:
$ sudo port -v extract zlib
Password:
---> Fetching zlib
---> Verifying checksum(s) for zlib
---> Checksumming zlib-1.2.3.tar.bz2
---> Extracting zlib
---> Extracting zlib-1.2.3.tar.bz2
$ ls $(port dir zlib)
Portfile files work
$ ls $(port dir zlib)/work
zlib-1.2.3
$ ls $(port dir zlib)/work/zlib-1.2.3
ChangeLog as400 examples inftrees.h uncompr.c
FAQ compress.c gzio.c make_vms.com win32
INDEX configure infback.c minigzip.c zconf.h
Makefile contrib inffast.c msdos zconf.in.h
Makefile.in crc32.c inffast.h old zlib.3
README crc32.h inffixed.h projects zlib.h
adler32.c deflate.c inflate.c qnx zutil.c
algorithm.txt deflate.h inflate.h trees.c zutil.h
amiga example.c inftrees.c trees.h
See the MacPorts guide for more information on developing ports, and also man port.
Most open source projects provide a compressed archive of their source code, or a readable version control repository. For instance, the source code for wget is available at http://ftp.gnu.org/gnu/wget/. All you need to do is decide which version you want to download and enter in the terminal window a command like
ftp http://ftp.gnu.org/gnu/wget/wget-1.10.2.tar.gz
You can then unpack the source code with a command like
tar xvzf wget-1.10.2.tar.gz
If the code is in a version control repository, then the project will also list the command you'll need to download the code. For instance, cvs2svn gives you the command
svn co --username=guest http://cvs2svn.tigris.org/svn/cvs2svn/trunk cvs2svn-trunk
There may be Mac-specific methods, but the beauty of what I described is that it works for any Unix-like environment.
apt-get is a program for automatically downloading and installing software packages and their dependencies; it is only available on some Linux-based platforms like Debian and Ubuntu. Mac OS X has two similar utilities: Fink and MacPorts. Both serve the same purpose as apt-get. I personally prefer MacPorts because I think it has a nicer UI, but both pieces of software work more or less the same.
AFAIK, MacPorts doesn't have a similar function to apt-get's source.
However, the source URL is in the Portfiles. You can view the portfile for a port by typing
cat `port file port_name`
in the terminal, for example:
cat `port file wget`
Or you can just install the port and find the source in /opt/local/var/macports/distfiles.
You might even be able to use the install command to just download (and not build or install) the port.
If you want an apt interface onto open source projects, look at Fink, a dpkg system for Mac OS X with various open source packages.

Resources