diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml index b1dbca7..c8d4e60 100644 --- a/.github/workflows/codeql.yml +++ b/.github/workflows/codeql.yml @@ -82,7 +82,7 @@ jobs: eval "$(opam env --switch=default)" export CHECK_IF_PREINSTALLED=false time opam -y install xmlm ulex easy-format camomile gettext-camomile camlidl batteries piqi piqilib ctypes-foreign stdlib-shims - for lablgpkg in lablgl lablgtk lablgtk3 lablgtk3-extras lablgtk3-goocanvas2 lablgtk3-gtkspell3 lablgtk3-rsvg2 lablgtk3-sourceview3; do \ + for lablgpkg in lablgl lablgtk lablgtk3 lablgtk3-extras lablgtk3-goocanvas2 lablgtk3-gtkspell3 lablgtk3-rsvg2; do \ sync && echo "attempting to install ${lablgpkg}..."; \ opam -y install "${lablgpkg}" || echo "unable to install ${lablgpkg}"; \ done diff --git a/libtracewrap/libtrace/src/ocaml/.gitignore b/libtracewrap/libtrace/src/ocaml/.gitignore new file mode 100644 index 0000000..4c8322d --- /dev/null +++ b/libtracewrap/libtrace/src/ocaml/.gitignore @@ -0,0 +1,4 @@ +arch.h +arch.ml +arch.mli +arch_stubs.c diff --git a/ocaml/.gitignore b/ocaml/.gitignore new file mode 100644 index 0000000..c7021e3 --- /dev/null +++ b/ocaml/.gitignore @@ -0,0 +1,8 @@ +libasmir.h +libasmir.ml +libasmir.mli +libasmir_stubs.c +libbfd.h +libbfd.ml +libbfd.mli +libbfd_stubs.c diff --git a/pcre-ocaml/lib/.gitignore b/pcre-ocaml/lib/.gitignore index 51ee62f..0b36b65 100644 --- a/pcre-ocaml/lib/.gitignore +++ b/pcre-ocaml/lib/.gitignore @@ -2,3 +2,4 @@ pcre pcre.top pcre.asm pcre.s +*.so