Installation of testlib.h

[gollux]

Do we really want to install polygon.h with CMS? It seems to be very specific to a single task preparation system. Installation of this header should be managed by Polygon, not by CMS.

In particular, do we want polygon.h to be accessible to solutions?

[veluca93]

IMO the answer to both questions is "no", but I also never used that task format.

[prandla]

(it's called testlib.h, not polygon.h.)

this file is only necessary when compiling checkers or managers (though it seems the polygon importer only supports batch tasks anyways, so only checkers in this case).

its path doesn't seem to actually matter:

cms/cmscontrib/loaders/polygon.py

Lines 186 to 191 in 05a3b8d

	testlib_path = "/usr/local/include/cms"
	testlib_include = os.path.join(testlib_path, "testlib.h")
	code = subprocess.call(["g++", "-x", "c++", "-O2", "-static",
	"-DCMS", "-I", testlib_path,
	"-include", testlib_include,
	"-o", checker_exe, checker_src])

what does matter is that testlib.h exists as a real file somewhere so its path can be passed to g++. if we keep testlib.h as just a data file within the cms package, this is not guaranteed (see the documentation of importlib.resources). so we might need to copy it to a temporary directory (or declare such weird installs unsupported). (edit: i should have read that documentation better, importlib.resources.path already handles creating a temporary directory when needed. how convenient!)

but it probably does not need to be in /usr/local/include.