dune_symlink_to_source_files(FILES configs.py)
dune_symlink_to_source_files(FILES discretizer.py)
dune_symlink_to_source_files(FILES pymor_classes.py)
dune_symlink_to_source_files(FILES testing_utility.py)

dune_symlink_to_source_files(FILES greedy.py)
dune_symlink_to_source_files(FILES pod.py)
