.

janestreet · Oct 4, 2024 · 59a8208 · 59a8208
1 parent 226801d
commit 59a8208
Showing 1 changed file with 0 additions and 22 deletions.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -75,28 +75,6 @@ jobs:
             opam switch create ${{ matrix.ocaml-version }}-flambda-musl \
               --packages=ocaml-variants.${{ matrix.ocaml-version }}+options,ocaml-option-flambda,ocaml-option-musl
 
-          echo "*************"
-          echo '#include <stdio.h>' | musl-gcc -xc -E -v - 2>&1 >/dev/null
-          echo "*************"
-          echo '#include <stdio.h>' | gcc -xc -E -v - 2>&1 >/dev/null
-          echo "*************"
-          readlink -f /usr/lib/gcc/x86_64-linux-gnu/11/include
-          readlink -f /usr/include/x86_64-linux-musl
-
-          #sudo ln -s /usr/include/zlib.h /usr/include/x86_64-linux-musl/zlib.h
-          #sudo ln -s /usr/lib/x86_64-linux-gnu/libz.a /usr/lib/x86_64-linux-musl/libz.a
-
-          #sudo ln -s /usr/include/zstd.h /usr/include/x86_64-linux-musl/zstd.h
-          #sudo ln -s /usr/include/zdict.h /usr/include/x86_64-linux-musl/zdict.h
-          #sudo ln -s /usr/lib/x86_64-linux-gnu/libzstd.a /usr/lib/x86_64-linux-musl/libzstd.a
- 
-          echo "????"
-          ls /usr/include/x86_64-linux-musl | grep zstd || true
-          ls /usr/include/x86_64-linux-musl | grep zlib || true
-          echo "????"
-          ls /usr/lib/x86_64-linux-musl | grep libz || true
-
-
       - run: opam install ./magic-trace.opam --deps-only
 
       - run: opam install ocamlformat