added WITH_ILP switch
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Tue, 7 Mar 2006 14:57:09 +0000 (14:57 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Tue, 7 Mar 2006 14:57:09 +0000 (14:57 +0000)
commit130abd1083622be17140b9fb698a70f035cef321
treeffd693dc54a5ffc23ac6422289493fa68cd340c8
parent211a3ea6ea92a6ac8f5becd60c139dc22257bc87
added WITH_ILP switch

[r7423]
config.h.in
configure
configure.in