annotate src/config.sig @ 2296:5104e480b3e3

Fix a few C memory bugs
author Adam Chlipala <adam@chlipala.net>
date Thu, 19 Nov 2015 10:31:47 -0500
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