add gcheck

Author: lainets

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "gcheck/gcheck"]
+	path = gcheck/gcheck
+	url = git@github.com:lainets/gcheck.git

Dockerfile

@@ -6,3 +6,13 @@ RUN apt_install \
     libc-dev \
     make \
     valgrind
+
+COPY gcheck/gcheck /gcheck
+RUN rm -rf /gcheck/.git
+
+RUN make -C /gcheck static
+
+# Add the gcheck variables to /gcheck.env
+COPY gcheck/Makefile /Makefile
+RUN make -s -C / > /gcheck.env
+RUN rm /Makefile

README.md

@@ -1,11 +1,15 @@
 # grade-c
 
-A+ grading container with C compilers. It contains:
+[A+] grading container with C compilers. It contains:
 
 * `make`
 * `gcc`
 * `g++`
 * `valgrind`
+* [gcheck]
+
+[gcheck]: https://github.com/lainets/gcheck
+[A+]: https://github.com/apluslms/a-plus
 
 ## Tags
 

gcheck/Makefile

@@ -0,0 +1,10 @@
+GCHECK_DIR = /gcheck
+include $(GCHECK_DIR)/vars.make
+GCHECK_LIB_DIR:=$(GCHECK_DIR)/$(GCHECK_LIB_DIR)
+GCHECK_INCLUDE_DIR:=$(GCHECK_DIR)/$(GCHECK_INCLUDE_DIR)
+
+envs:
+	echo "GCHECK_DIR=$(GCHECK_DIR)"
+	echo "GCHECK_LIB_DIR=$(GCHECK_LIB_DIR)"
+	echo "GCHECK_LIB=$(GCHECK_LIB)"
+	echo "GCHECK_INCLUDE_DIR=$(GCHECK_INCLUDE_DIR)"