.

meisterT · Jun 7, 2024 · 86f19a7 · 86f19a7
1 parent be9b36b
commit 86f19a7
Show file tree

Hide file tree

Showing 4 changed files with 1 addition and 10 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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: