Remove the BYTECCCOMPOPTS build variable

This variable is actually never defined.

Changes

@@ -123,6 +123,9 @@ Working version
   (Sébastien Hinderer, review by David Allsopp, Xavier Leroy and
   Damien Doligez)
 
+- GPR#1854: remove the no longer defined BYTECCCOMPOPTS build variable.
+  (Sébastien Hinderer, review by ?)
+
 ### Internal/compiler-libs changes:
 
 - GPR#1745: do not generalize the type of every sub-pattern, only of variables.

config/Makefile-templ

@@ -45,15 +45,6 @@ HASHBANGSCRIPTS=true
 #CC=gcc
 #BYTECFLAGS=
 
-### Additional compile-time options for $(BYTECC).
-# If using gcc on Intel x86:
-# (the -fno-defer-pop option circumvents a bug in certain versions of gcc)
-#BYTECCCOMPOPTS=-fno-defer-pop -Wall
-# If using gcc and being cautious:
-#BYTECCCOMPOPTS=-Wall
-# Otherwise:
-#BYTECCCOMPOPTS=
-
 ### Additional link-time options for $(BYTECC)
 # To support dynamic loading of shared libraries (they need to look at
 # our own symbols):

configure

@@ -419,12 +419,6 @@ esac
 # invoked to process a third-party C source file passed to ocamlc
 # when no -cc command-line option has been specified.
 
-# The BYTECCCOMPOPTS make variable contains options to pass to the C
-# compiler but only when compiling C files that belong to the OCaml
-# distribution.
-# In other words, when ocamlc is called to compile a third-party C
-# source file, it will _not_ pass these options to the C compiler.
-
 # The SHAREDLIB_CFLAGS make variable contains options to use to compile C
 # source files so that the resulting object files can then be integrated
 # into shared libraries. It is passed to CC for both C source files

ocamltest/Makefile

@@ -194,7 +194,7 @@ ocamltest.opt$(EXE): $(native_modules)
 	$(ocamllex) -q $<
 
 %.$(O): %.c
-	$(CC) $(OC_CFLAGS) $(OC_CPPFLAGS) $(BYTECCCOMPOPTS) -c $<
+	$(CC) $(OC_CFLAGS) $(OC_CPPFLAGS) -c $<
 
 ocamltest_config.ml: ocamltest_config.ml.in Makefile
 	sed \