summaryrefslogtreecommitdiff
path: root/src/config.sig
blob: 6075482e9d0c75ff4690ea2f8b217526a923b30c (plain)
1
2
3
4
5
6
7
8
9
10
11
signature CONFIG = sig
    val bin : string
    val lib : string
    val includ : string
    val sitelisp : string

    val libUr : string
    val libC : string

    val gccArgs : string
end