7 commits

Author	SHA1	Message	Date
Leonardo de Moura	08d69153c0	Making sure Z3 compiles with gcc 4.7.1. Making sure 'make release' works. Temporarily removed iz3 and ocaml bindings from 'make release' script. Removed test_user_theory from 'make release' script. ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-10-03 18:32:56 -07:00
Leonardo de Moura	4603ba2a94	llvm stuff ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-10-02 22:37:57 -07:00
Leonardo de Moura	1a8aa48f34	modified scripts to be able to run them on Linux/OSX	2012-10-02 14:37:50 -07:00
Leonardo de Moura	87dbd49b4c	disable build.cmd from update_api.cmd ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-10-02 13:51:20 -07:00
Leonardo de Moura	454fa7dcdd	Improve _find_lib() in Z3Py for Linux/OSX ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-10-02 12:31:45 -07:00
Leonardo de Moura	11aa025805	Fixed gcc compilation error ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-10-02 12:22:07 -07:00
Leonardo de Moura	e9eab22e5c	Z3 sources ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>	2012-10-02 11:35:25 -07:00