# Copyright (c) 2012-2015, Robbert Krebbers.# This file is distributed under the terms of the BSD license.importSCons.Defaults,SCons.Tool,SCons.Util,osdefcoq_emitter(target,source,env):base,_=os.path.splitext(str(target[0]))target.append(base+".glob")returntarget,sourceCoq=SCons.Builder.Builder(action='$COQC $COQFLAGS -q $SOURCE',suffix='.vo',src_suffix='.v',emitter=coq_emitter)defgenerate(env):env['COQC']='coqc'