diff src/config.sml.in @ 435:f7b25375c0cf

GCCARGS configure option
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Oct 2008 15:05:16 -0400
parents 168667cdaa95
children 162d5308e34f
line wrap: on
line diff
--- a/src/config.sml.in	Mon Oct 27 08:27:45 2008 -0400
+++ b/src/config.sml.in	Tue Oct 28 15:05:16 2008 -0400
@@ -10,4 +10,6 @@
 val libC = OS.Path.joinDirFile {dir = lib,
                                 file = "c"}
 
+val gccArgs = "@GCCARGS@"
+
 end