diff options
Diffstat (limited to 'src/config.sig')
-rw-r--r-- | src/config.sig | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/src/config.sig b/src/config.sig index 70548b12..a3ad7d76 100644 --- a/src/config.sig +++ b/src/config.sig @@ -1,13 +1,12 @@ signature CONFIG = sig + val builddir : string + val bin : string + val srclib : string val lib : string val includ : string val sitelisp : string - val libUr : string - val libC : string - val libJs : string - val ccompiler : string val ccArgs : string val openssl : string |