
# Copyright (c) 2018-2021, Carnegie Mellon University
# See LICENSE for details


# Configuration of system dependent parameters
# ============================================

#F Global code generation options record
#F
SpiralDefaults := rec();


SPL_DEFAULTS := SpiralDefaults;
