OPAM: requires Clang

[liyishuai]

certicoq/bootstrap/certicoqc/Makefile

Line 1 in 87dff37

CCOMPILER = clang # ccomp # gcc takes ages

certicoq/bootstrap/certicoqc/Makefile

Lines 54 to 55 in 87dff37

	%.o: %.c
	$(CCOMPILER) $(CCOMPILEROPTS) -o $@ $<

# clang  -fPIC -g -c -I . -I ../../plugin/runtime -I /home/coq/.opam/4.07.1+flambda/lib/ocaml -w -Wno-everything -O2 -o certicoqc_wrapper.o certicoqc_wrapper.c
# make[2]: clang: No such file or directory
# make[2]: *** [Makefile:55: certicoqc_wrapper.o] Error 127

[liyishuai]

Is there a plan to review this PR?

[mattam82]

You are right, we should require clang