Module GenerateMakeFile

A tool to generate a makefile for a Curry application.

Author: Michael Hanus

Version: December 2020

Summary of exported operations:

generateMakeForApplication
                  ::  Int -> String -> String -> String -> String -> String -> IO ()

generateMakeFile
                  ::  String -> String -> String -> String -> IO [MakeElement]

modToMakeFile
                  ::  String -> String -> String -> String -> [String] -> String -> [MakeElement]

findSourceFileInLoadPath
                  ::  String -> IO String

simplifyPath
                  ::  String -> String -> String

generateMakeForApplication :: Int -> String -> String -> String -> String -> String -> IO ()

generateMakeFile :: String -> String -> String -> String -> IO [MakeElement]

modToMakeFile :: String -> String -> String -> String -> [String] -> String -> [MakeElement]

findSourceFileInLoadPath :: String -> IO String

simplifyPath :: String -> String -> String