ic3/configure


Log

Author Commit Date CI Message
Thomas de Grivel 813cff92 2023-02-04T16:17:27 link statically to libtommath
Thomas de Grivel e55a429c 2023-02-04T14:00:20 fix build dependencies
Thomas de Grivel 962e719f 2023-02-04T04:05:28 linkage
Thomas de Grivel 9c35dcaf 2023-01-26T10:24:53 config_lib libmd
Thomas de Grivel fadc8073 2023-01-25T10:24:29 copyright
Thomas de Grivel 310f3906 2023-01-21T08:41:40 rename files
Thomas de Grivel 54fdfc96 2023-01-20T19:58:39 rename files
Thomas de Grivel bdf1cf77 2022-12-25T20:02:12 fix configure
Thomas de Grivel 43e0c022 2022-12-25T19:05:30 update_sources
Thomas de Grivel 327cec65 2022-12-25T07:15:41 update_sources
Thomas de Grivel 2afd8555 2022-12-25T06:19:54 fix i386
Thomas de Grivel fdfea29f 2022-12-08T15:38:04 fix compilation on Linux
Thomas de Grivel e9fca4ac 2022-12-08T14:47:21 libbsd-overlay
Thomas de Grivel 32d7c77a 2022-12-08T05:20:31 configure
Thomas de Grivel 922894e2 2022-12-08T03:01:27 fix compilation
Thomas de Grivel afa4413a 2022-12-07T18:48:02 readline -> linenoise
Thomas de Grivel f990b98e 2022-12-06T13:37:43 licence
Thomas de Grivel 865d1524 2022-10-31T00:50:45 c3-lang