# -*- makefile -*-

-include $(TOPDIR)/Makeconf.local

# We expect that more configuration stuff will migrate here from
# comp/Makeconf.

OPENCXXDIR = $(HOME)/src/vfiasco/src/tool/openc++