author | Jan Wielemaker |
| Wed Aug 2 18:05:55 2023 +0200 |
committer | Jan Wielemaker |
| Wed Aug 2 18:05:55 2023 +0200 |
commit | d462156d2cc1db5b07e316ee5b7278cf20a5a0c1 |
tree | e35f29b12962391980cefd6ca3ab6d4a620185e2 |
parent | 2345f65bb51055d390b4739fc564a1d15b3c75e8 |
diff --git a/build/Debian.txt b/build/Debian.md
similarity index 97%
rename from build/Debian.txt
rename to build/Debian.md
index d72ea4a..6c08615 100644
--- a/build/Debian.txt
+++ b/build/Debian.md
@@ -56,6 +56,7 @@ sudo apt-get install \
libdb-dev \
libpcre2-dev \
libyaml-dev \
+ libpython3-dev \
default-jdk junit4
```
@@ -78,6 +79,9 @@ including all packages without issues. If you want to reduce resources, the foll
Without, you have no regular expression support (library(pcre)).
$ libyaml-dev :
Without you have no YAML support (library(yaml)).
+ $ libpython3-dev :
+ Without you have no library(janus), providing access to an embedded
+ Python interpreter.
Note that including GMP support makes the memory footprint bigger, but
mostly if you have no other applications depending on GMP. All the other