summaryrefslogtreecommitdiff
path: root/CMakeLists.txt
AgeCommit message (Expand)AuthorFilesLines
2009-10-06- support MULTI_SEMANTICS optionMichael Schroeder1-0/+5
2009-08-31- adapt to build with rpm-4.7Michael Schroeder1-3/+5
2009-07-15fix to compileMichael Andres1-1/+1
2009-07-15- add satversion.h containing the current satsolver versionMichael Schroeder1-0/+1
2009-06-23- close fds before calling rpmMichael Schroeder1-0/+1
2009-06-22- create libsatsolverext static libraryMichael Schroeder1-1/+2
2008-12-17- fix fedora builds (bnc#444211)Michael Schroeder1-0/+6
2008-12-03make SWIG optionalKlaus Kaempf1-5/+10
2008-11-19lets try to make this a documented projectDuncan Mac-Vicar P1-0/+1
2008-11-17- add "DartConfiguration.tcl" to exclude listMichael Schroeder1-0/+1
2008-11-14- create destination directory as cpack can no longer do itMichael Schroeder1-0/+4
2008-11-14- exclude some more filesMichael Schroeder1-0/+4
2008-11-14- bring cpack back to liveMichael Schroeder1-21/+8
2008-10-20refactorDuncan Mac-Vicar P1-5/+2
2008-10-20- refactor FindCheckDuncan Mac-Vicar P1-11/+13
2008-10-17fix finding the libraryDuncan Mac-Vicar P1-1/+2
2008-10-16temporary make srcpackage while CPack is kaputtDuncan Mac-Vicar P1-3/+18
2008-10-15move testsuite to tests/solver and add core unit testsDuncan Mac-Vicar P1-1/+1
2008-09-09- Reenable -Werror and fix bindings.Michael Andres1-2/+3
2008-09-09dont enable -Werror for bindings, swig sucks too muchDuncan Mac-Vicar P1-1/+0
2008-07-30cdash configDuncan Mac-Vicar P1-0/+1
2008-07-23- no cache file in the src package, please!Michael Schroeder1-0/+3
2008-05-27enable testing with ctestKlaus Kaempf1-0/+2
2008-05-16adapt to cmake 2.6:Klaus Kaempf1-0/+11
2008-04-05always package deptestomaticStephan Kulow1-4/+1
2008-03-13fix finding perlDuncan Mac-Vicar P1-3/+0
2008-03-03- need that zlib libraryMichael Schroeder1-0/+1
2008-02-26- more build fixes for other distrosDuncan Mac-Vicar P1-0/+2
2008-02-25- some fixes to get the stack built in other distributionsDuncan Mac-Vicar P1-1/+1
2008-02-20- link against rpmdb, not db43Michael Schroeder1-1/+1
2008-02-16somehow the -Wall got lost in the debug build - fixStephan Kulow1-2/+2
2008-02-12Introduce 'application layer' below sat-solver/applayer.Klaus Kaempf1-0/+1
2008-02-11get rid of -O3 in debug buildsStephan Kulow1-2/+2
2007-11-14back to -r7755Stefan Schubert1-0/+1
2007-11-14added more loggingStefan Schubert1-1/+0
2007-11-08install the toolsStephan Kulow1-0/+1
2007-11-08compile testsuite only if presentDuncan Mac-Vicar P1-1/+4
2007-11-06disable ruby policy because it breaks libzyppDuncan Mac-Vicar P1-1/+1
2007-11-01First try on a (ruby based) policy engineKlaus Kaempf1-0/+1
2007-10-28make it debugable - use -DCMAKE_BUILD_TYPE=debug in the cmake callStephan Kulow1-0/+1
2007-10-28continue compiling with -WerrorStephan Kulow1-0/+2
2007-10-26- fix packagingDuncan Mac-Vicar P1-6/+10
2007-10-26- add cmake supportDuncan Mac-Vicar P1-0/+142