annotate src/config.sig @ 2271:85f91c7452b0

First draft of cache consolidation.
author Ziv Scully <ziv@mit.edu>
date Wed, 21 Oct 2015 09:18:36 -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