Add CLN library

This commit is contained in:
Rodrigo Q. Saramago 2023-01-11 14:27:02 +01:00
parent 43032433fd
commit b07ccd56e1
No known key found for this signature in database
GPG Key ID: 9B36B2525704A359
2 changed files with 2 additions and 2 deletions

View File

@ -38,7 +38,7 @@ RUN set -ex; \
libboost-filesystem-dev libboost-test-dev libboost-system-dev \ libboost-filesystem-dev libboost-test-dev libboost-system-dev \
libboost-program-options-dev \ libboost-program-options-dev \
libcvc4-dev libz3-static-dev z3-static jq \ libcvc4-dev libz3-static-dev z3-static jq \
; \ libcln-dev; \
apt-get install -qy python3-pip python3-sphinx; \ apt-get install -qy python3-pip python3-sphinx; \
pip3 install codecov; \ pip3 install codecov; \
rm -rf /var/lib/apt/lists/* rm -rf /var/lib/apt/lists/*

View File

@ -39,7 +39,7 @@ RUN set -ex; \
libboost-program-options-dev \ libboost-program-options-dev \
clang \ clang \
libz3-static-dev z3-static jq \ libz3-static-dev z3-static jq \
; \ libcln-dev; \
rm -rf /var/lib/apt/lists/* rm -rf /var/lib/apt/lists/*
FROM base AS libraries FROM base AS libraries