module BuildFlags_idris where

extraLibDirs :: [String]
extraLibDirs = []