| patch |
summary |
view |
raw |
| 0001-make-local-function-in-cl.c-static.patch |
cl.c | 24 ++++++++++++------------
1 file changed, 12 insertions(+), 12 deletions(-)
|
view
|
download
|
| 0002-build-shared-library.patch |
Makefile | 24 ++++++++++++++++++++----
cliquer.h | 18 +++++++++---------
graph.h | 30 +++++++++++++++---------------
libcliquer.map | 43 +++++++++++++++++++++++++++++++++++++++++++
misc.h | 7 +++++++
reorder.h | 28 ++++++++++++++--------------
6 files changed, 108 insertions(+), 42 deletions(-)
|
view
|
download
|
| 0003-rename-cl-binary-to-cliquer.patch |
Makefile | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
|
view
|
download
|
| 0004-more-usual-flags-usage.patch |
Makefile | 15 ++++++++++-----
1 file changed, 10 insertions(+), 5 deletions(-)
|
view
|
download
|
| 0005-add-install-target.patch |
Makefile | 23 ++++++++++++++++++++---
1 file changed, 20 insertions(+), 3 deletions(-)
|
view
|
download
|