blob: 6a514d6b3b19355e416e9568772e1c0df9d9cf06 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
module Main where
import System
-- to create a gfs script that builds a gfcm file. AR 29/1/2004
-- reads old GF
-- change these to your needs
scriptFile = "mkNumerals.gfs"
multiFile = "numerals.gfcm"
absModule = "Numerals"
excluded = ["numerals.Abs.gf"]
main :: IO ()
main = do
system "ls >files"
s <- readFile "files"
writeFile scriptFile $ unlines $ map mkOne $
filter (flip notElem excluded) $ lines s
appendFile scriptFile "s\n"
appendFile scriptFile $ "pm | wf " ++ multiFile
mkOne file = "i -old -abs=" ++ absModule ++ " -cnc=" ++ lang ++ " " ++ file
where
lang = takeWhile (/= '.') file
|
