examples: add jwt example (#43)

* examples: add jwt example

* nits: run python formatting

* nits

Author: csegarragonz

.github/workflows/tests.yml

@@ -67,12 +67,12 @@ jobs:
         uses: actions/checkout@v4
         with:
           submodules: true
-      - name: "Build Rabe"
+      - name: "Build Rabe and JWT"
         run: |
           export PATH=$PATH:/root/.cargo/env
           rustup default stable
           rustup target add wasm32-wasip1
-          ./bin/inv_wrapper.sh rabe
+          ./bin/inv_wrapper.sh rabe jwt
       - name: "Build FFmpeg"
         run: ./bin/inv_wrapper.sh ffmpeg
       - name: "Build ImageMagick"
@@ -292,6 +292,12 @@ jobs:
           #         if: "contains(env.FAASM_WASM_VM, 'wamr')"
           #         timeout-minutes: 1
           #         run: faasmctl invoke rabe test
+          # TODO(faasm-bump): this is working, but we need to cut a new faasm release, uncomment
+          # when we do
+          #       - name: "Run Rabe test"
+          #         if: "contains(env.FAASM_WASM_VM, 'wamr')"
+          #         timeout-minutes: 1
+          #         run: faasmctl invoke jwt test
       - name: "Print logs in case of failure"
         if: failure()
         run: faasmctl logs -s worker

.gitmodules

@@ -51,3 +51,6 @@
 	path = examples/rabe
 	url = https://github.com/faasm/rabe.git
 	branch = faasm
+[submodule "examples/tless-jwt"]
+	path = examples/tless-jwt
+	url = https://github.com/faasm/tless-jwt.git

docker/build.dockerfile

@@ -47,7 +47,8 @@ RUN mkdir -p code \
     && git submodule update --init -f examples/libpng \
     && git submodule update --init -f examples/polybench \
     && git submodule update --init -f examples/rabe \
-    && git submodule update --init -f examples/tensorflow
+    && git submodule update --init -f examples/tensorflow \
+    && git submodule update --init -f examples/tless-jwt
 
 # Build the examples and demo functions
 ENV PATH=${PATH}:/root/.cargo/bin
@@ -63,6 +64,7 @@ RUN cd /code/examples \
     && inv polybench --native \
     # Build the WASM applications
     && inv ffmpeg \
+    && inv jwt \
     # ImageMagick needs libpng
     && inv libpng imagemagick \
     && inv kernels \
@@ -75,6 +77,7 @@ RUN cd /code/examples \
     && inv tensorflow \
     # These demo functions link with the cross-compiled static libraries
     && inv func ffmpeg check \
+    && inv func jwt test \
     && inv func lammps chain \
     && inv func mpi migrate \
     && inv func rabe test \

examples/tless-jwt

@@ -32,6 +32,7 @@ function(faasm_example_func func_name file_name)
 endfunction(faasm_example_func)
 
 add_subdirectory(ffmpeg)
+add_subdirectory(jwt)
 add_subdirectory(lammps)
 add_subdirectory(mpi)
 add_subdirectory(rabe)

func/CMakeLists.txt

@@ -0,0 +1,4 @@
+set(FAASM_USER jwt)
+
+faasm_example_func(test test.cpp)
+target_link_libraries(jwt_test libtless-jwt-cpp.a libtless-jwt.a)

func/jwt/CMakeLists.txt

@@ -0,0 +1,28 @@
+#include <tless_jwt.h>
+
+#include <iostream>
+#include <string>
+
+// g++ main.cpp -L./target/debug -ltless_jwt
+// ./a.out
+// $ Verified!
+// $ Not verified :-(
+int main()
+{
+    std::string goodJwt = "eyJhbGciOiJSUzI1NiIsImprdSI6Imh0dHBzOi8vZmFhc21hdHRwcm92LmV1czIuYXR0ZXN0LmF6dXJlLm5ldC9jZXJ0cyIsImtpZCI6IkowcEFQZGZYWEhxV1dpbWdySDg1M3dNSWRoNS9mTGUxejZ1U1hZUFhDYTA9IiwidHlwIjoiSldUIn0.eyJleHAiOjE3MjgwOTAxMTMsImlhdCI6MTcyODA2MTMxMywiaXMtZGVidWdnYWJsZSI6dHJ1ZSwiaXNzIjoiaHR0cHM6Ly9mYWFzbWF0dHByb3YuZXVzMi5hdHRlc3QuYXp1cmUubmV0IiwianRpIjoiNmQyNWIyMjNlMmJhMTFkNmExMWY4NWE2Y2RiYzE1NzcwNjE2ODJkMDczM2NmNGM2NWZiYjU4ZWJlODg4YTMzOSIsIm1hYS1hdHRlc3RhdGlvbmNvbGxhdGVyYWwiOnsicWVpZGNlcnRzaGFzaCI6ImE2NGQ2NDkxOTg1MDdkOGI1N2UzM2Y2M2FiMjY2ODM4ZjQzZjMyN2JkNGFhY2M3ODUxMGI2OTc2ZWQwNDZlMTAiLCJxZWlkY3JsaGFzaCI6ImFkZmExOTQyNDIwZTY5ZGY1MTE4ZmYwMDZiNTNhZTFlNWRmZDkxZTVhNTcxMjQyOTczMTI2Yjg2MGFkNWViMTMiLCJxZWlkaGFzaCI6Ijc3MDFmNjQ3MDBiN2Y1MDVkN2I0YjdhOTNlNDVkNWNkZThjZmM4NjViNjBmMWRkNDllY2JlZTk3OTBjMzM3MmUiLCJxdW90ZWhhc2giOiI0NDNmN2JmY2QxN2U0YjI3NmQ1ODI1Nzk0MTJiZmE2YjNjMWI5YTU2N2FlZjE1YmE1ZDJiNDdiZTRhMGVlOWVhIiwidGNiaW5mb2NlcnRzaGFzaCI6ImE2NGQ2NDkxOTg1MDdkOGI1N2UzM2Y2M2FiMjY2ODM4ZjQzZjMyN2JkNGFhY2M3ODUxMGI2OTc2ZWQwNDZlMTAiLCJ0Y2JpbmZvY3JsaGFzaCI6ImFkZmExOTQyNDIwZTY5ZGY1MTE4ZmYwMDZiNTNhZTFlNWRmZDkxZTVhNTcxMjQyOTczMTI2Yjg2MGFkNWViMTMiLCJ0Y2JpbmZvaGFzaCI6IjY4NjRjNjg3NGMyZWYzNmJjOTJlNTg3ZTAwOTMwYmYzZWEwYmM0ODYyZDA2YjBmYmU2YWY4NjMyN2UwNGMzNTcifSwibmJmIjoxNzI4MDYxMzEzLCJwcm9kdWN0LWlkIjowLCJzZ3gtbXJlbmNsYXZlIjoiNjUwNmIzYmI2NmFlMTQ0MWYyYzIwODZlMjM0MGYzNzY2M2YyZDU4ZmJhYTViZDYwMWE3MTFiMDRiNDk3ZTE0NSIsInNneC1tcnNpZ25lciI6IjgzZDcxOWU3N2RlYWNhMTQ3MGY2YmFmNjJhNGQ3NzQzMDNjODk5ZGI2OTAyMGY5YzcwZWUxZGZjMDhjN2NlOWUiLCJzdm4iOjAsInRlZSI6InNneCIsIngtbXMtYXR0ZXN0YXRpb24tdHlwZSI6InNneCIsIngtbXMtcG9saWN5Ijp7ImlzLWRlYnVnZ2FibGUiOnRydWUsInByb2R1Y3QtaWQiOjAsInNneC1tcmVuY2xhdmUiOiI2NTA2YjNiYjY2YWUxNDQxZjJjMjA4NmUyMzQwZjM3NjYzZjJkNThmYmFhNWJkNjAxYTcxMWIwNGI0OTdlMTQ1Iiwic2d4LW1yc2lnbmVyIjoiODNkNzE5ZTc3ZGVhY2ExNDcwZjZiYWY2MmE0ZDc3NDMwM2M4OTlkYjY5MDIwZjljNzBlZTFkZmMwOGM3Y2U5ZSIsInN2biI6MCwidGVlIjoic2d4In0sIngtbXMtcG9saWN5LWhhc2giOiJPd0V2cFNWRVdBNWVpc0NFbmNCdDhOU1pGTFlEUktvTGFvT05Qclpnb2VZIiwieC1tcy1zZ3gtY29sbGF0ZXJhbCI6eyJxZWlkY2VydHNoYXNoIjoiYTY0ZDY0OTE5ODUwN2Q4YjU3ZTMzZjYzYWIyNjY4MzhmNDNmMzI3YmQ0YWFjYzc4NTEwYjY5NzZlZDA0NmUxMCIsInFlaWRjcmxoYXNoIjoiYWRmYTE5NDI0MjBlNjlkZjUxMThmZjAwNmI1M2FlMWU1ZGZkOTFlNWE1NzEyNDI5NzMxMjZiODYwYWQ1ZWIxMyIsInFlaWRoYXNoIjoiNzcwMWY2NDcwMGI3ZjUwNWQ3YjRiN2E5M2U0NWQ1Y2RlOGNmYzg2NWI2MGYxZGQ0OWVjYmVlOTc5MGMzMzcyZSIsInF1b3RlaGFzaCI6IjQ0M2Y3YmZjZDE3ZTRiMjc2ZDU4MjU3OTQxMmJmYTZiM2MxYjlhNTY3YWVmMTViYTVkMmI0N2JlNGEwZWU5ZWEiLCJ0Y2JpbmZvY2VydHNoYXNoIjoiYTY0ZDY0OTE5ODUwN2Q4YjU3ZTMzZjYzYWIyNjY4MzhmNDNmMzI3YmQ0YWFjYzc4NTEwYjY5NzZlZDA0NmUxMCIsInRjYmluZm9jcmxoYXNoIjoiYWRmYTE5NDI0MjBlNjlkZjUxMThmZjAwNmI1M2FlMWU1ZGZkOTFlNWE1NzEyNDI5NzMxMjZiODYwYWQ1ZWIxMyIsInRjYmluZm9oYXNoIjoiNjg2NGM2ODc0YzJlZjM2YmM5MmU1ODdlMDA5MzBiZjNlYTBiYzQ4NjJkMDZiMGZiZTZhZjg2MzI3ZTA0YzM1NyJ9LCJ4LW1zLXNneC1pcy1kZWJ1Z2dhYmxlIjp0cnVlLCJ4LW1zLXNneC1tcmVuY2xhdmUiOiI2NTA2YjNiYjY2YWUxNDQxZjJjMjA4NmUyMzQwZjM3NjYzZjJkNThmYmFhNWJkNjAxYTcxMWIwNGI0OTdlMTQ1IiwieC1tcy1zZ3gtbXJzaWduZXIiOiI4M2Q3MTllNzdkZWFjYTE0NzBmNmJhZjYyYTRkNzc0MzAzYzg5OWRiNjkwMjBmOWM3MGVlMWRmYzA4YzdjZTllIiwieC1tcy1zZ3gtcHJvZHVjdC1pZCI6MCwieC1tcy1zZ3gtcmVwb3J0LWRhdGEiOiI1MmM0YmJjZWViNTkxMjRkNTg0NzQzZTc1MGQ0NmNhN2FiOTU2YzlkZDAzMmU4ODcyYjM3MjcwNWZhOWRlNGUzYTliZTVkZGVkNzM0Yzg1Nzg1NDM0NTNiOWE5OGFjYjQxOTUxNDYzYjUxZGUzNjIzYzRiNjc5NWM1MjYyZmE1MyIsIngtbXMtc2d4LXN2biI6MCwieC1tcy1zZ3gtdGNiaWRlbnRpZmllciI6IjEwIiwieC1tcy12ZXIiOiIxLjAifQ.2MHmljiFFxQzlU3qLHoEGx2wcyvXXOyLUdaMzekYiuG2ZiEh4H-g1PI-TymWpdUFkT-0a2zw06tdP0IOWmbvqF-uSta3wlINN1LmsBapZiLBwxYH2otTvr1z9oy1iRMhe44x_fOplLLmL4buaw4xjm1zqzKtHHpwQUQCWVAyZF9BQ3-yi6ssf-4HYBr-8bvwbxHR8HbAgAdC8meAjkV8Z15V0BF3cnC8hkjbq-OlAAzgFORL6nNpQy_CXp6LgPknInubBECxMU6ybRk-_MI1jqy6Ko-rTHYbAC0bmZiM3VwILDEQDLnT-3EcMfELaYHmRTH7I8LKHbQxDbSOw-ydKA";
+    std::string badJwt = "eyJmbmciOiJSUzI1NiIsImprdSI6Imh0dHBzOi8vZmFhc21hdHRwcm92LmV1czIuYXR0ZXN0LmF6dXJlLm5ldC9jZXJ0cyIsImtpZCI6IkowcEFQZGZYWEhxV1dpbWdySDg1M3dNSWRoNS9mTGUxejZ1U1hZUFhDYTA9IiwidHlwIjoiSldUIn0.eyJleHAiOjE3MjgwOTAxMTMsImlhdCI6MTcyODA2MTMxMywiaXMtZGVidWdnYWJsZSI6dHJ1ZSwiaXNzIjoiaHR0cHM6Ly9mYWFzbWF0dHByb3YuZXVzMi5hdHRlc3QuYXp1cmUubmV0IiwianRpIjoiNmQyNWIyMjNlMmJhMTFkNmExMWY4NWE2Y2RiYzE1NzcwNjE2ODJkMDczM2NmNGM2NWZiYjU4ZWJlODg4YTMzOSIsIm1hYS1hdHRlc3RhdGlvbmNvbGxhdGVyYWwiOnsicWVpZGNlcnRzaGFzaCI6ImE2NGQ2NDkxOTg1MDdkOGI1N2UzM2Y2M2FiMjY2ODM4ZjQzZjMyN2JkNGFhY2M3ODUxMGI2OTc2ZWQwNDZlMTAiLCJxZWlkY3JsaGFzaCI6ImFkZmExOTQyNDIwZTY5ZGY1MTE4ZmYwMDZiNTNhZTFlNWRmZDkxZTVhNTcxMjQyOTczMTI2Yjg2MGFkNWViMTMiLCJxZWlkaGFzaCI6Ijc3MDFmNjQ3MDBiN2Y1MDVkN2I0YjdhOTNlNDVkNWNkZThjZmM4NjViNjBmMWRkNDllY2JlZTk3OTBjMzM3MmUiLCJxdW90ZWhhc2giOiI0NDNmN2JmY2QxN2U0YjI3NmQ1ODI1Nzk0MTJiZmE2YjNjMWI5YTU2N2FlZjE1YmE1ZDJiNDdiZTRhMGVlOWVhIiwidGNiaW5mb2NlcnRzaGFzaCI6ImE2NGQ2NDkxOTg1MDdkOGI1N2UzM2Y2M2FiMjY2ODM4ZjQzZjMyN2JkNGFhY2M3ODUxMGI2OTc2ZWQwNDZlMTAiLCJ0Y2JpbmZvY3JsaGFzaCI6ImFkZmExOTQyNDIwZTY5ZGY1MTE4ZmYwMDZiNTNhZTFlNWRmZDkxZTVhNTcxMjQyOTczMTI2Yjg2MGFkNWViMTMiLCJ0Y2JpbmZvaGFzaCI6IjY4NjRjNjg3NGMyZWYzNmJjOTJlNTg3ZTAwOTMwYmYzZWEwYmM0ODYyZDA2YjBmYmU2YWY4NjMyN2UwNGMzNTcifSwibmJmIjoxNzI4MDYxMzEzLCJwcm9kdWN0LWlkIjowLCJzZ3gtbXJlbmNsYXZlIjoiNjUwNmIzYmI2NmFlMTQ0MWYyYzIwODZlMjM0MGYzNzY2M2YyZDU4ZmJhYTViZDYwMWE3MTFiMDRiNDk3ZTE0NSIsInNneC1tcnNpZ25lciI6IjgzZDcxOWU3N2RlYWNhMTQ3MGY2YmFmNjJhNGQ3NzQzMDNjODk5ZGI2OTAyMGY5YzcwZWUxZGZjMDhjN2NlOWUiLCJzdm4iOjAsInRlZSI6InNneCIsIngtbXMtYXR0ZXN0YXRpb24tdHlwZSI6InNneCIsIngtbXMtcG9saWN5Ijp7ImlzLWRlYnVnZ2FibGUiOnRydWUsInByb2R1Y3QtaWQiOjAsInNneC1tcmVuY2xhdmUiOiI2NTA2YjNiYjY2YWUxNDQxZjJjMjA4NmUyMzQwZjM3NjYzZjJkNThmYmFhNWJkNjAxYTcxMWIwNGI0OTdlMTQ1Iiwic2d4LW1yc2lnbmVyIjoiODNkNzE5ZTc3ZGVhY2ExNDcwZjZiYWY2MmE0ZDc3NDMwM2M4OTlkYjY5MDIwZjljNzBlZTFkZmMwOGM3Y2U5ZSIsInN2biI6MCwidGVlIjoic2d4In0sIngtbXMtcG9saWN5LWhhc2giOiJPd0V2cFNWRVdBNWVpc0NFbmNCdDhOU1pGTFlEUktvTGFvT05Qclpnb2VZIiwieC1tcy1zZ3gtY29sbGF0ZXJhbCI6eyJxZWlkY2VydHNoYXNoIjoiYTY0ZDY0OTE5ODUwN2Q4YjU3ZTMzZjYzYWIyNjY4MzhmNDNmMzI3YmQ0YWFjYzc4NTEwYjY5NzZlZDA0NmUxMCIsInFlaWRjcmxoYXNoIjoiYWRmYTE5NDI0MjBlNjlkZjUxMThmZjAwNmI1M2FlMWU1ZGZkOTFlNWE1NzEyNDI5NzMxMjZiODYwYWQ1ZWIxMyIsInFlaWRoYXNoIjoiNzcwMWY2NDcwMGI3ZjUwNWQ3YjRiN2E5M2U0NWQ1Y2RlOGNmYzg2NWI2MGYxZGQ0OWVjYmVlOTc5MGMzMzcyZSIsInF1b3RlaGFzaCI6IjQ0M2Y3YmZjZDE3ZTRiMjc2ZDU4MjU3OTQxMmJmYTZiM2MxYjlhNTY3YWVmMTViYTVkMmI0N2JlNGEwZWU5ZWEiLCJ0Y2JpbmZvY2VydHNoYXNoIjoiYTY0ZDY0OTE5ODUwN2Q4YjU3ZTMzZjYzYWIyNjY4MzhmNDNmMzI3YmQ0YWFjYzc4NTEwYjY5NzZlZDA0NmUxMCIsInRjYmluZm9jcmxoYXNoIjoiYWRmYTE5NDI0MjBlNjlkZjUxMThmZjAwNmI1M2FlMWU1ZGZkOTFlNWE1NzEyNDI5NzMxMjZiODYwYWQ1ZWIxMyIsInRjYmluZm9oYXNoIjoiNjg2NGM2ODc0YzJlZjM2YmM5MmU1ODdlMDA5MzBiZjNlYTBiYzQ4NjJkMDZiMGZiZTZhZjg2MzI3ZTA0YzM1NyJ9LCJ4LW1zLXNneC1pcy1kZWJ1Z2dhYmxlIjp0cnVlLCJ4LW1zLXNneC1tcmVuY2xhdmUiOiI2NTA2YjNiYjY2YWUxNDQxZjJjMjA4NmUyMzQwZjM3NjYzZjJkNThmYmFhNWJkNjAxYTcxMWIwNGI0OTdlMTQ1IiwieC1tcy1zZ3gtbXJzaWduZXIiOiI4M2Q3MTllNzdkZWFjYTE0NzBmNmJhZjYyYTRkNzc0MzAzYzg5OWRiNjkwMjBmOWM3MGVlMWRmYzA4YzdjZTllIiwieC1tcy1zZ3gtcHJvZHVjdC1pZCI6MCwieC1tcy1zZ3gtcmVwb3J0LWRhdGEiOiI1MmM0YmJjZWViNTkxMjRkNTg0NzQzZTc1MGQ0NmNhN2FiOTU2YzlkZDAzMmU4ODcyYjM3MjcwNWZhOWRlNGUzYTliZTVkZGVkNzM0Yzg1Nzg1NDM0NTNiOWE5OGFjYjQxOTUxNDYzYjUxZGUzNjIzYzRiNjc5NWM1MjYyZmE1MyIsIngtbXMtc2d4LXN2biI6MCwieC1tcy1zZ3gtdGNiaWRlbnRpZmllciI6IjEwIiwieC1tcy12ZXIiOiIxLjAifQ.2MHmljiFFxQzlU3qLHoEGx2wcyvXXOyLUdaMzekYiuG2ZiEh4H-g1PI-TymWpdUFkT-0a2zw06tdP0IOWmbvqF-uSta3wlINN1LmsBapZiLBwxYH2otTvr1z9oy1iRMhe44x_fOplLLmL4buaw4xjm1zqzKtHHpwQUQCWVAyZF9BQ3-yi6ssf-4HYBr-8bvwbxHR8HbAgAdC8meAjkV8Z15V0BF3cnC8hkjbq-OlAAzgFORL6nNpQy_CXp6LgPknInubBECxMU6ybRk-_MI1jqy6Ko-rTHYbAC0bmZiM3VwILDEQDLnT-3EcMfELaYHmRTH7I8LKHbQxDbSOw-ydKA";
+
+    if (tless::verify_jwt(goodJwt)) {
+        std::cout << "Verified!" << std::endl;
+    } else {
+        std::cerr << "Not verified :-(" << std::endl;
+    }
+
+    if (tless::verify_jwt(badJwt)) {
+        std::cout << "Verified!" << std::endl;
+    } else {
+        std::cerr << "Not verified :-(" << std::endl;
+    }
+
+    return 0;
+}

func/jwt/test.cpp

@@ -8,6 +8,7 @@
 from . import func
 from . import git
 from . import imagemagick
+from . import jwt
 from . import kernels
 from . import lammps
 from . import libpng
@@ -26,6 +27,7 @@
     func,
     git,
     imagemagick,
+    jwt,
     kernels,
     lammps,
     libpng,

tasks/__init__.py

@@ -0,0 +1,69 @@
+from faasmtools.build import CMAKE_TOOLCHAIN_FILE, get_faasm_build_env_dict
+from invoke import task
+from os import environ, makedirs
+from os.path import exists, join
+from shutil import copy, rmtree
+from subprocess import run
+from tasks.env import EXAMPLES_DIR
+
+
+@task(default=True)
+def build(ctx, clean=False):
+    """
+    Compile TLess-JWT library (in Rust) and C++ bindings into a WASM library
+    """
+    jwt_dir = join(EXAMPLES_DIR, "tless-jwt", "jwt-verify")
+
+    if clean:
+        rmtree(join(jwt_dir, "target"))
+
+    # First, cross-compile the rust library to WASM
+    cargo_cmd = "cargo build --release --target=wasm32-wasip1"
+    run(cargo_cmd, shell=True, check=True, cwd=jwt_dir)
+
+    # Install it in the WASM sysroot
+    build_env = get_faasm_build_env_dict()
+    src_lib = join(
+        jwt_dir, "target", "wasm32-wasip1", "release", "libtless_jwt.a"
+    )
+    dst_lib = join(build_env["FAASM_WASM_LIB_INSTALL_DIR"], "libtless-jwt.a")
+    copy(src_lib, dst_lib)
+
+    # Build the CPP bindings library, and cross-compile it to WASM
+    rabe_cpp_dir = join(jwt_dir, "cpp-bindings")
+    build_dir = join(rabe_cpp_dir, "build")
+
+    if clean and exists(build_dir):
+        rmtree(build_dir)
+    if not exists(build_dir):
+        makedirs(build_dir)
+
+    cmake_cmd = [
+        "cmake",
+        "-GNinja",
+        "-DCMAKE_BUILD_TYPE=Release",
+        "-DCMAKE_TOOLCHAIN_FILE={}".format(CMAKE_TOOLCHAIN_FILE),
+        rabe_cpp_dir,
+    ]
+    cmake_cmd = " ".join(cmake_cmd)
+    print(cmake_cmd)
+
+    work_env = environ.copy()
+    work_env.update(get_faasm_build_env_dict())
+    print(build_dir)
+    run(cmake_cmd, shell=True, check=True, cwd=build_dir, env=work_env)
+    run("ninja", shell=True, check=True, cwd=build_dir)
+
+    # Install the library in the WASM sysroot
+    src_lib = join(build_dir, "libtless-jwt-cpp.a")
+    dst_lib = join(
+        build_env["FAASM_WASM_LIB_INSTALL_DIR"], "libtless-jwt-cpp.a"
+    )
+    copy(src_lib, dst_lib)
+
+    # Install the header in the WASM sysroot too
+    src_header = join(rabe_cpp_dir, "tless_jwt.h")
+    dst_header = join(
+        build_env["FAASM_WASM_HEADER_INSTALL_DIR"], "tless_jwt.h"
+    )
+    copy(src_header, dst_header)