Include headers in Debian package (#9)

* Include headers in Debian package * Fix copy * Fix header paths
tiny-pilot · Nov 16, 2022 · 46097ce · 46097ce
1 parent 461809f
commit 46097ce
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -40,6 +40,11 @@ ARG PKG_DIR="/releases/${PKG_ID}"
 
 RUN mkdir --parents "${PKG_DIR}"
 
+# Copy headers to /usr/include.
+RUN mkdir -p "${PKG_DIR}/usr/include" && \
+    cp -R /usr/include/nice "${PKG_DIR}/usr/include/" && \
+    cp -R /usr/include/stun "${PKG_DIR}/usr/include/"
+
 # Copy compiled shared library into Debian package.
 RUN cp \
     --parents \