# I seem to have built SWI-Prolog without support for PceEmacs

**URL:** <https://swi-prolog.discourse.group/t/i-seem-to-have-built-swi-prolog-without-support-for-pceemacs/3223>\
**Category:** Tools\
**Created:** [November 4, 2020, 3:49pm UTC](https://swi-prolog.discourse.group/t/i-seem-to-have-built-swi-prolog-without-support-for-pceemacs/3223 "2020-11-04T15:49:22Z")\
**Posts on this page:** 7\
**Page:** 1

<div class="post-metadata">

**Author:** ![Nicholas\_Hubbard](https://avatars.discourse-cdn.com/v4/letter/n/9fc348/32.png) [@Nicholas\_Hubbard](https://swi-prolog.discourse.group/u/Nicholas_Hubbard)\
**Post date:** [November 4, 2020, 3:49pm UTC](https://swi-prolog.discourse.group/t/i-seem-to-have-built-swi-prolog-without-support-for-pceemacs/3223/1 "2020-11-04T15:49:22Z")

</div>

I built SWI-Prolog on my Linux computer (openSUSE Tumbleweed) by running these exact commands:

```
git clone https://github.com/SWI-Prolog/swipl-devel.git
cd swipl-devel
git submodule update --init

cd swipl-devel
mkdir build
cd build
cmake -DCMAKE_INSTALL_PREFIX=/usr/local/logic ..
make
ctest -j 4
sudo make install

```

I passed every test from the `ctest -j 4` command.

Now when I start swipl and run `emacs.` I get this error: `ERROR: Unknown procedure: emacs/0 (DWIM could not correct goal)`. On my previous install of SWI-Prolog I had once tried to use PceEmacs and gotten this same error but didn’t think much of it and moved on. That was several months ago.

The only information I can find on this error is from [this Stack Overflow post](https://stackoverflow.com/questions/56728053/launching-pceemacs-through-swi-prolog-command-line), which doesn’t actually provide a solution to the problem.

Please let me know what I can do.

---

<div class="post-metadata">

**Author:** ![EricGT](https://avatars.discourse-cdn.com/v4/letter/e/f1d935/32.png) [@EricGT](https://swi-prolog.discourse.group/u/EricGT)\
**Post date:** [November 4, 2020, 3:58pm UTC](https://swi-prolog.discourse.group/t/i-seem-to-have-built-swi-prolog-without-support-for-pceemacs/3223/2 "2020-11-04T15:58:17Z")

</div>

Not that I know the exact file that is missing, Jan W. will know, but what does the following Prolog predicate return?

```prolog
check_installation.

```

A valid result can be seen in this [post](https://swi-prolog.discourse.group/t/building-swi-prolog-on-ubuntu-20-04-from-source-how-sensitive-is-cmake-to-dcmake-install-prefix/3115/3).

---

<div class="post-metadata">

**Author:** ![Nicholas\_Hubbard](https://avatars.discourse-cdn.com/v4/letter/n/9fc348/32.png) [@Nicholas\_Hubbard](https://swi-prolog.discourse.group/u/Nicholas_Hubbard)\
**Post date:** [November 4, 2020, 4:02pm UTC](https://swi-prolog.discourse.group/t/i-seem-to-have-built-swi-prolog-without-support-for-pceemacs/3223/3 "2020-11-04T16:02:28Z")

</div>

```
@?- check_installation.
% Checking your SWI-Prolog kit for common issues ...
% 
% Version: ............. 8.3.10-10-gc2e4524a3
% Address bits: ........ 64
% Architecture: ........ x86_64-linux
% Installed at: ........ /usr/local/logic/lib/swipl
% Cores: ............... 8
% 
% Checking tcmalloc ............................ not present
Warning: See http://www.swi-prolog.org/build/issues/tcmalloc.html
% Checking gmp ................................. ok
% Loading library(archive) ..................... ok
% Supported filters: bzip2, compress, gzip, grzip, lrzip, lzip, lzma, lzop, none, rpm, uu, xz
% Supported formats: 7zip, ar, cab, cpio, empty, gnutar, iso9660, lha, mtree, rar, raw, tar, xar, zip
% Loading library(cgi) ......................... ok
% Loading library(crypt) ....................... ok
Warning: library(bdb) .......................... NOT FOUND
Warning: See http://www.swi-prolog.org/build/issues/bdb.html
% Loading library(double_metaphone) ............ ok
% Loading library(filesex) ..................... ok                                 
% Loading library(http/http_stream) ............ ok                                 
% Loading library(http/json) ................... ok                                 
% Loading library(http/jquery) ................. ok                                 
% jQuery from /usr/local/logic/lib/swipl/library/http/web/js/jquery-1.11.3.min.js 
% Loading library(isub) ........................ ok                                 
Warning: library(jpl) .......................... NOT FOUND
Warning: See http://www.swi-prolog.org/build/issues/jpl.html                        
% Loading library(memfile) ..................... ok
Warning: library(odbc) ......................... NOT FOUND
Warning: See http://www.swi-prolog.org/build/issues/odbc.html                       
Warning: library(pce) .......................... NOT FOUND                          
Warning: See http://www.swi-prolog.org/build/issues/xpce.html                       
% Loading library(pcre) ........................ ok
% Loading library(pdt_console) ................. ok
% Loading library(porter_stem) ................. ok
% Loading library(process) ..................... ok
% Loading library(protobufs) ................... ok
Warning: library(editline) ..................... NOT FOUND
Warning: See http://www.swi-prolog.org/build/issues/editline.html
% Loading library(readline) .................... ok
% Loading library(readutil) .................... ok
% Loading library(rlimit) ...................... ok
% Loading library(semweb/rdf_db) ............... ok
% Loading library(semweb/rdf_ntriples) ......... ok
% Loading library(semweb/turtle) ............... ok
% Loading library(sgml) ........................ ok
% Loading library(sha) ......................... ok
% Loading library(snowball) .................... ok
% Loading library(socket) ...................... ok
% Loading library(ssl) ......................... ok
% Loading library(crypto) ...................... ok
% Loading library(syslog) ...................... ok
% Loading library(table) ....................... ok
% Loading library(time) ........................ ok
% Loading library(tipc/tipc) ................... ok
% Loading library(unicode) ..................... ok
% Loading library(uri) ......................... ok
Warning: library(uuid) ......................... NOT FOUND
Warning: See http://www.swi-prolog.org/build/issues/uuid.html
% Loading library(zlib) ........................ ok
Warning: library(yaml) ......................... NOT FOUND
Warning: See http://www.swi-prolog.org/build/issues/yaml.html
Warning: Found 8 issues.
true.
```

---

<div class="post-metadata">

**Author:** ![Nicholas\_Hubbard](https://avatars.discourse-cdn.com/v4/letter/n/9fc348/32.png) [@Nicholas\_Hubbard](https://swi-prolog.discourse.group/u/Nicholas_Hubbard)\
**Post date:** [November 4, 2020, 4:22pm UTC](https://swi-prolog.discourse.group/t/i-seem-to-have-built-swi-prolog-without-support-for-pceemacs/3223/5 "2020-11-04T16:22:07Z")

</div>

I rebuilt with

```
cmake -DCMAKE_INSTALL_PREFIX=/usr ..

```

and still have the same problem. I will now work on making sure I have everything that you listed installed, and then will build once again.

---

<div class="post-metadata">

**Author:** ![EricGT](https://avatars.discourse-cdn.com/v4/letter/e/f1d935/32.png) [@EricGT](https://swi-prolog.discourse.group/u/EricGT)\
**Post date:** [November 4, 2020, 4:24pm UTC](https://swi-prolog.discourse.group/t/i-seem-to-have-built-swi-prolog-without-support-for-pceemacs/3223/6 "2020-11-04T16:24:38Z")

</div>

Sorry for not having the correct answer the first time but as I noted I am also learning the ropes of building SWI-Prolog.

After thinking about it, the Dockerfile build is for a basic server that does not have all of the GUI bells and whistles, e.g. PCE.

If I am correct, the answer was in the output of `check_installation.` which is to see `https://www.swi-prolog.org/build/issues/xpce.html`

> **[Issues with library(pce)](https://www.swi-prolog.org/build/issues/xpce.html)**

which notes

```prolog
apt-get install swi-prolog-x

```

* * *

I did not know those pages existed until using the URL from [check\_installation/0](https://www.swi-prolog.org/pldoc/doc_for?object=check_installation%3Acheck_installation/0), then found many such pages.

---

<div class="post-metadata">

**Author:** ![Nicholas\_Hubbard](https://avatars.discourse-cdn.com/v4/letter/n/9fc348/32.png) [@Nicholas\_Hubbard](https://swi-prolog.discourse.group/u/Nicholas_Hubbard)\
**Post date:** [November 4, 2020, 4:30pm UTC](https://swi-prolog.discourse.group/t/i-seem-to-have-built-swi-prolog-without-support-for-pceemacs/3223/7 "2020-11-04T16:30:34Z")

</div>

ok I will try to figure out how to install `swi-prolog-x` onto my distribution. There seems to be nice instructions in the manual page you linked.

---

<div class="post-metadata">

**Author:** ![jan](https://yyz2.discourse-cdn.com/free1/user_avatar/swi-prolog.discourse.group/jan/32/4_2.png) [@jan](https://swi-prolog.discourse.group/u/jan)\
**Post date:** [November 4, 2020, 4:41pm UTC](https://swi-prolog.discourse.group/t/i-seem-to-have-built-swi-prolog-without-support-for-pceemacs/3223/8 "2020-11-04T16:41:04Z")

</div>

> [@Nicholas\_Hubbard](#):
>
> `swi-prolog-x`

That is when you install from the package manager. The Docker list of dependencies is one start, the other is (Debian based) [https://www.swi-prolog.org/build/Debian.html](https://www.swi-prolog.org/build/Debian.html) or (Fedora based) [SWI-Prolog on Redhat (Fedora, RHEL, CentOS)](https://www.swi-prolog.org/build/Redhat.html)

You need library(pce) for the tools. You probably also want library(editline) for the command line editing. The other reported problems are optional components.
