Pack RocksDB, build fails on Ubuntu 22.04 LTS on WSL on Windows (reproducible)

After removing, this works for me:

?- pack_install('https://github.com/JanWielemaker/rocksdb.git').

Note the atom quotes rather that code-list quotes and adding .git. Pushed a fix that probes whether a URL is a GIT URL by trying to use git to probe the URL.

1 Like