diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-12-27 14:25:22 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-27 14:25:22 -0500 |
commit | 03605f653bdd50bedb38a77759a61d2e978fbeb2 (patch) | |
tree | cfafe28760c47460a4ffe49b3e1458e20f439ad9 /src/settings.sml | |
parent | c5a46fa63373c129e9595373d4c126030266d957 (diff) |
Protocol-specific compiler options
Diffstat (limited to 'src/settings.sml')
-rw-r--r-- | src/settings.sml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/settings.sml b/src/settings.sml index 39398490..b316b489 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -270,6 +270,7 @@ val checkMime = check type protocol = { name : string, + compile : string, linkStatic : string, linkDynamic : string, persistent : bool @@ -282,6 +283,7 @@ fun clibFile s = OS.Path.joinDirFile {dir = Config.libC, file = s} val curProto = ref {name = "", + compile = "", linkStatic = "", linkDynamic = "", persistent = false} |