ic3/configure


Log

Author Commit Date CI Message
Thomas de Grivel 0c1e2386 2024-01-24T21:39:28 wip
Thomas de Grivel 8b68a241 2024-01-29T18:17:51 c11 -> use system libffi
Thomas de Grivel 5ebd9385 2023-12-13T21:53:07 ic3 with wineditline
Thomas de Grivel f49a2c33 2023-11-22T17:52:49 configure
Thomas de Grivel 37e3b29d 2023-11-22T16:42:30 wip win64
Thomas de Grivel 92b17b5b 2023-11-21T13:16:09 wip win32
Thomas de Grivel ec70bc2f 2023-11-15T10:53:30 configure
Thomas de Grivel b594a789 2023-11-14T22:39:42 cairo quartz build
Thomas de Grivel fe10fe41 2023-10-18T23:03:59 undefined
Thomas de Grivel 8dc9639f 2023-10-18T21:50:23 wip operators
Thomas de Grivel 9faa0c30 2023-10-16T00:12:08 -no-undefined in LDFLAGS, breaks debug build of libtommath components
Thomas de Grivel 56fef92e 2023-08-29T15:21:38 wip
Thomas de Grivel 37ebe824 2023-08-29T14:21:55 wip call refactor
Thomas de Grivel 37b09c72 2023-08-21T11:35:20 wip cov
Thomas de Grivel 27b5b4d9 2023-08-21T11:00:54 wip gcovr
Thomas de Grivel 69f7efaf 2023-08-20T13:38:37 fix -ldl
Thomas de Grivel 3eb89f87 2023-08-19T15:51:11 fix debian
Thomas de Grivel 9ca05267 2023-08-18T10:26:52 libffi.a
Thomas de Grivel 085a911f 2023-08-17T19:20:38 configure
Thomas de Grivel c9293f9c 2023-08-06T20:39:42 compile with own libffi
Thomas de Grivel cb8341e1 2023-07-22T19:41:51 include ffi.h
Thomas de Grivel c87b47e5 2023-06-16T17:38:09 work in progress: buf_parse
Thomas de Grivel 1baea400 2023-06-16T13:46:25 refactor
Thomas de Grivel 4d267e43 2023-06-09T11:08:13 buf_parse_test_su.h
Thomas de Grivel 3d8d7728 2023-03-23T17:19:58 licence
Thomas de Grivel d3a48f2b 2023-03-17T10:10:37 use system libffi
Thomas de Grivel f45f5d2b 2023-03-15T21:22:46 shared libs
Thomas de Grivel 5f18860d 2023-03-15T20:53:44 wip shared libraries
Thomas de Grivel cb1f06ee 2023-03-15T16:44:10 wip cfn SEGV
Thomas de Grivel 4000bed3 2023-03-15T16:02:13 -ldl
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