.gitignore all the libs downloadable by Makefile
i.e. by doing: make minisat2-download make glucose-download make zlib-download make libzip-download
This commit is contained in:
parent
25539f3067
commit
fab794cb2c
|
@ -30,7 +30,12 @@ src/big-int/test-bigint.exe
|
||||||
|
|
||||||
# files stored by editors
|
# files stored by editors
|
||||||
*~
|
*~
|
||||||
|
|
||||||
|
# libs downloaded by make [name]-download
|
||||||
libzip/
|
libzip/
|
||||||
|
zlib/
|
||||||
|
minisat*/
|
||||||
|
glucose-syrup/
|
||||||
|
|
||||||
# flex/bison generated files
|
# flex/bison generated files
|
||||||
src/ansi-c/ansi_c_lex.yy.cpp
|
src/ansi-c/ansi_c_lex.yy.cpp
|
||||||
|
|
Loading…
Reference in New Issue