annotate src/config.sig @ 1864:1aa9629e3a4c

Allow [where con] to descend within submodule structure; open submodule constraints while checking later signature items
author Adam Chlipala <adam@chlipala.net>
date Mon, 19 Aug 2013 12:25:32 -0400
parents c414850f206f
children
rev   line source
adamc@378 1 signature CONFIG = sig
ezyang@1739 2 val builddir : string
ezyang@1739 3
adamc@378 4 val bin : string
ezyang@1739 5 val srclib : string
adamc@378 6 val lib : string
adamc@378 7 val includ : string
adamc@378 8 val sitelisp : string
adamc@378 9
adam@1474 10 val ccompiler : string
adam@1523 11 val ccArgs : string
adam@1368 12 val openssl : string
adam@1464 13
adam@1464 14 val pgheader : string
adam@1464 15 val msheader : string
adam@1464 16 val sqheader : string
adam@1520 17
adam@1520 18 val versionNumber : string
adam@1520 19 val versionString : string
adam@1528 20
adam@1528 21 val pthreadCflags : string
adam@1528 22 val pthreadLibs : string
adamc@378 23 end