From 86f19a77ebadf3e80085e371f57c2a7dffbe7d1a Mon Sep 17 00:00:00 2001 From: Tobias Werth Date: Fri, 7 Jun 2024 20:42:22 +0200 Subject: [PATCH] . --- .github/workflows/runpipe.yml | 2 -- Makefile | 2 +- configure.ac | 2 -- lib/Makefile | 5 ----- 4 files changed, 1 insertion(+), 10 deletions(-) diff --git a/.github/workflows/runpipe.yml b/.github/workflows/runpipe.yml index fbabf814fa..94f3cf80e6 100644 --- a/.github/workflows/runpipe.yml +++ b/.github/workflows/runpipe.yml @@ -21,8 +21,6 @@ jobs: - uses: actions/checkout@v4 - name: info run: cat /proc/cmdline && echo && cat /proc/mounts && echo && ls -al /sys/fs/cgroup && echo && uname -a && echo && stat -fc %T /sys/fs/cgroup && echo && cat /proc/self/cgroup - - name: apt - run: sudo apt update && sudo apt install -y flex flexc++ bison++ bisonc++ libsystemd-dev - name: Create the configure file run: make configure - name: Do the default configure diff --git a/Makefile b/Makefile index 47f82c2352..df4f2069a0 100644 --- a/Makefile +++ b/Makefile @@ -103,7 +103,7 @@ build-scripts: build: SUBDIRS= lib misc-tools domserver: SUBDIRS=etc sql misc-tools webapp install-domserver: SUBDIRS=etc lib sql misc-tools webapp example_problems -judgehost: SUBDIRS=etc lib judge misc-tools +judgehost: SUBDIRS=etc judge misc-tools install-judgehost: SUBDIRS=etc lib judge misc-tools docs: SUBDIRS= doc install-docs: SUBDIRS= doc diff --git a/configure.ac b/configure.ac index 70be72b822..87d9dd75ed 100644 --- a/configure.ac +++ b/configure.ac @@ -340,8 +340,6 @@ AC_SUBST(PHPVERSION, [$phpversion]) AC_CONFIG_FILES([paths.mk]) -AC_CONFIG_COMMANDS([lib/libcgroup-3.1.0], [sh lib/libcgroup-3.1.0/myconfigure]) - AC_OUTPUT # summary {{{ diff --git a/lib/Makefile b/lib/Makefile index 72ca16d4dc..5f2e2dea76 100644 --- a/lib/Makefile +++ b/lib/Makefile @@ -7,11 +7,6 @@ OBJECTS = $(addsuffix $(OBJEXT),lib.error lib.misc) build: $(OBJECTS) -judgehost: libcgroup - -libcgroup: - $(MAKE) -C libcgroup-3.1.0 - $(OBJECTS): %$(OBJEXT): %.c %.h clean-l: