Fix shared library build. Upstream status: https://github.com/falcosecurity/libs/pull/1842 diff --git a/driver/CMakeLists.txt b/driver/CMakeLists.txt index 80229cc03..70c9ba65b 100644 --- a/driver/CMakeLists.txt +++ b/driver/CMakeLists.txt @@ -152,6 +152,11 @@ set(DRIVER_SOURCES ppm_consumer.h capture_macro.h socketcall_to_syscall.h + syscall_compat_loongarch64.h + syscall_compat_ppc64le.h + syscall_compat_riscv64.h + syscall_compat_s390x.h + syscall_compat_x86_64.h syscall_ia32_64_map.c ) diff --git a/test/libscap/CMakeLists.txt b/test/libscap/CMakeLists.txt index e88603ebd..fa26ba7ee 100644 --- a/test/libscap/CMakeLists.txt +++ b/test/libscap/CMakeLists.txt @@ -45,6 +45,7 @@ set(LIBSCAP_TESTS_LIBRARIES "${GTEST_LIB}" "${GTEST_MAIN_LIB}" "${CMAKE_THREAD_LIBS_INIT}" + "${PROTOBUF_LIB}" scap ) diff --git a/userspace/libscap/engine/gvisor/CMakeLists.txt b/userspace/libscap/engine/gvisor/CMakeLists.txt index 6dfbafb14..875847b5d 100644 --- a/userspace/libscap/engine/gvisor/CMakeLists.txt +++ b/userspace/libscap/engine/gvisor/CMakeLists.txt @@ -76,6 +76,14 @@ if (BUILD_SHARED_LIBS) add_dependencies(scap_engine_gvisor_o uthash) add_dependencies(scap scap_engine_gvisor_o) target_sources(scap PRIVATE $) + + target_include_directories(scap_engine_gvisor_o + PRIVATE + ${CMAKE_BINARY_DIR} + ${CMAKE_CURRENT_BINARY_DIR} + ${CMAKE_SOURCE_DIR} + ${CMAKE_SOURCE_DIR}/userspace + ) else() add_library(scap_engine_gvisor ${scap_engine_gvisor_sources} en' name='id' value='30266441045873a30a9443670c607f955e858505'/>
path: root/gnu/packages/coq.scm
AgeCommit message (Expand)Author
2021-10-08gnu: coq: Add upstream-name....This prevents an error on inherited packages when running the updater. * gnu/packages/coq.scm (coq)[properties]: Add upstream-name. Julien Lepiller
2021-07-31gnu: coq: Update to 8.13.2....* gnu/packages/coq.scm (coq): Update to 8.13.2. (coq-ide-server, coq-ide): New packages. (coq-gappa): Update to 1.4.6. (coq-bignums): Update to 8.13.0. (coq-interval): Update to 1.3.0. (coq-equations): Update to 1.2.4. Julien Lepiller
2021-07-31gnu: coq-stdpp: Update to 1.5.0....* gnu/packages/coq.scm (coq-stdpp): Update to 1.5.0. Julien Lepiller
2021-06-13gnu: proof-general: Update to 4.4-0.bc86736....There hasn’t been a new release since 2016 and there has been more than 450 new commits since then. * gnu/packages/coq.scm (proof-general): Update to 4.4-0.bc86736. [arguments]<#:make-flags>: Set ELISP_START. <#:phases>: Remove ‘coq-prog’ procedure which was unused; don’t run ‘substitute*’ on bin/proofgeneral since it no longer exists. Don’t end phases with #t, this will be unnecessary once the ‘core-updates’ branch is merged. [home-page]: Remove trailing whitesapce. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Xinglu Chen