module BuildFlags_idris where 

extraLibDirs :: [String]
extraLibDirs = []