path: root/ext/ovrimos/setup.stub

# $Source$
# $Id$

define_option with-ovrimos 'ovrimos support?' yesnodir no \
'    Whether to build the ovrimos extension.'