diff --git a/easybuild/easyblocks/o/ocaml.py b/easybuild/easyblocks/o/ocaml.py index 0a8d9c8172..3da2cdda44 100644 --- a/easybuild/easyblocks/o/ocaml.py +++ b/easybuild/easyblocks/o/ocaml.py @@ -86,7 +86,8 @@ def __init__(self, *args, **kwargs): def configure_step(self): """Custom configuration procedure for OCaml.""" self.cfg['prefix_opt'] = '-prefix ' - self.cfg.update('configopts', '-cc "%s %s"' % (os.environ['CC'], os.environ['CFLAGS'])) + if LooseVersion(self.version) < LooseVersion("4.12"): + self.cfg.update('configopts', '-cc "%s %s"' % (os.environ['CC'], os.environ['CFLAGS'])) if 'world.opt' not in self.cfg['buildopts']: self.cfg.update('buildopts', 'world.opt')