fefe628658fbbca925a35d0fc741b77acee35bad,brian2/codegen/generators/GSL_generator.py,,valid_gsl_dir,#,26

Before Change

    if not isdir(val):
        raise PreferenceError(("Illegal value for GSL directory: %s, "
                                "has to be existing directory"%(val)))
    if not exists(val+"gsl/gsl_odeiv2.h") or not exists(val+"gsl/gsl_errno.h") \
            or not exists(val+"gsl/gsl_matrix.h"):
        raise PreferenceError(("Illegal value for GSL directory: %s, "
                               "has to contain gsl_odeiv2.h, gsl_errno.h "
                               "and gsl_matrix.h"%(val)))
    return True

prefs.register_preferences(
    "GSL",

After Change

    if not os.path.isdir(val):
        raise PreferenceError(("Illegal value for GSL directory: %s, "
                                "has to be existing directory" % (val)))
    if any(not os.path.isfile(os.path.join(val, "gsl", filename))
           for filename in ["gsl_odeiv2.h", "gsl_errno.h", "gsl_matrix.h"]):
        raise PreferenceError(("Illegal value for GSL directory: %s, "
                               "has to contain gsl_odeiv2.h, gsl_errno.h "

Instances