Commit graph

91 commits

Author SHA1 Message Date
Michael Rodler
8982de556d removed explicit full-upgrade command 2017-12-13 10:31:37 -07:00
Michael Rodler
36acb6c6fc fixed unbound variable in list command 2017-12-13 10:31:37 -07:00
Michael Rodler
443f397ddb fixed whitespace vs tabs 2017-12-13 10:31:37 -07:00
Michael Rodler
397402bcd5 added full-upgrade help message, fixed list (-i|-u) 2017-12-13 10:31:37 -07:00
Michael Rodler
0cbadcb2ee added full-upgrade command to upgrade all installed tools 2017-12-13 10:31:37 -07:00
Michael Rodler
b3e09e7400 travis buildstatus: switched to makefile for running things 2017-10-21 23:23:56 -07:00
Michael Rodler
407952f696 improved/fixed buildstatus script
yapf autoformatted python scripts
2017-10-21 23:23:56 -07:00
Michael Rodler
17d6bceea0 don't repeatedly add ctf-tools to PATH in (bash|zsh)rc, config.fish 2017-08-18 16:45:28 -07:00
Michael Rodler
1195408107 manage-tools: install more devtools for fedora 2017-04-05 16:28:56 +02:00
Michael Rodler
6929aefaa7 Fixed fedora distri detection with bash std(err|out) redirction swapped 2017-04-05 15:39:00 +02:00
Steven Van Acker
f629015eff put summary on top [ci skip] 2017-03-10 16:03:49 +01:00
Steven Van Acker
5a9c226a0e add summary [ci skip] 2017-03-10 15:53:50 +01:00
Steven Van Acker
6cb4058d12 page with buildstatus per tool 2017-03-10 13:30:13 +01:00
Steven Van Acker
292be51073 fix EXPECTFAIL 2017-03-09 10:36:51 +01:00
Steven Van Acker
9995819f84 parseable logging 2017-03-09 09:30:07 +01:00
Steven Van Acker
e8ce574b68 trigger travis... 2017-02-19 15:38:31 +01:00
Steven Van Acker
97a870060d isolate qemu since it takes so long. Adding extra logging 2017-02-19 14:46:22 +01:00
Steven Van Acker
48332b5dcf record timing information 2017-02-19 12:13:49 +01:00
Steven Van Acker
5caa32dedb fix travis-ci.sh permission 2017-02-19 00:38:59 +01:00
Steven Van Acker
e44aec1e9d allow testing multiple tools per travis-ci build 2017-02-19 00:32:22 +01:00
Steven Van Acker
c6d1f24c57 detect xenial and act accordingly. lsb-release should be installed to
differentiate between ubuntu versions
2017-02-16 22:43:10 +01:00
Steven Van Acker
7144e756e5 fail hard on any error + verify that all scripts use bash -ex to fail
early on any error + anticipate that some tools can't be installed by
now, but we still want the test to return success to satisfy travis-ci
2017-02-16 22:40:17 +01:00
Michael Rodler
4303fca8be setup support for fedora in manage-tools 2016-12-13 17:35:12 +01:00
Michael Rodler
26039cea6d fedora support in manage-tools and wcc 2016-12-13 17:13:09 +01:00
Michael Rodler
515924f580 apparently the order of bash fd redirections matters... 2016-11-15 15:25:11 +01:00
Michael Rodler
ce90837ff0 Added ctf-tools-venv-activate3 script, which sources ctf-tools-activate under the hood 2016-10-13 19:04:58 -07:00
Michael Rodler
6538613482 make sure the ctf-tools-pip3 symlink exists 2016-10-13 19:04:58 -07:00
Yan
562a7e79ba disable the lsb modules complaint from the distro detection 2016-10-13 01:03:07 -07:00
Yan
e6c236a9db oops... 2016-10-11 20:41:49 -07:00
Yan
e0a442acda restore proper logging of failed installation attempts 2016-10-11 19:28:46 -07:00
Yan
66c296a376 split ctf-tools-pip into ctf-tools-venv-activate (a script that can be sourced by installers) and ctf-tools-pip 2016-10-11 02:07:57 -07:00
Yan
afeb194330 adding a -f (force) option to manage-tools to facilitate not re-testing tools 2016-10-10 03:25:46 -07:00
Riccardo Schirone
ff0cf0f731 manage-tools: add verbose mode
this should also prevent travis from stopping the build in case of long running
tasks (for example when building z3).
2016-09-23 15:15:20 +00:00
Yan
86237dac4f Merge pull request #79 from ret2libc/addz3
Add z3 theorem prover
2016-09-21 15:07:36 -07:00
Yan
d91f0e62f9 Merge pull request #80 from ret2libc/fixtravis
Fix travis
2016-09-21 15:07:00 -07:00
Riccardo Schirone
86d567e4da Fix tests
* Add virtualenvwrapper script before using its functionalities
* Setup PATH env var to correctly execute install scripts in travis
2016-09-21 13:57:21 +00:00
Riccardo Schirone
d9f5fb07d3 Add z3 theorem prover 2016-09-21 12:03:01 +00:00
Riccardo Schirone
ce80941526 Add capstone 2016-09-21 09:47:23 +00:00
Michael Rodler
65c3ab5863 fixed tabs vs spaces and a distribution detection function 2016-06-06 16:25:06 +02:00
Michael Rodler
b210867242 Added actual detection of ubuntu as distribution 2016-06-06 15:38:34 +02:00
Michael Rodler
1d47962e58 Split install-root scripts into distribution specific ones 2016-06-06 15:11:08 +02:00
Michael Rodler
402aced1a5 ok set -u is a bad idea when sourcing activate... 2016-06-02 16:47:30 +02:00
Michael Rodler
368484543a drop virtualenvwrapper dependency for ctf-tools-pip, which should make it portable accross ubuntu/arch 2016-06-02 16:31:30 +02:00
Michael Rodler
7f4cfe2c57 fix unbound variable error 2016-06-02 16:30:28 +02:00
Michael Rodler
b2288c946d pipe ./uninstall output to uninstall.log 2016-06-02 16:30:14 +02:00
Michael Rodler
21876d00d7 Properly source also on ubuntu 2016-06-02 15:03:17 +02:00
Michael Rodler
abf6c16250 moved shell path setup into base_build_setup funciton, create py2 virtualenv during install 2016-06-02 14:11:09 +02:00
Michael Rodler
910d8c0049 fixed typo in debian package list 2016-06-02 13:41:29 +02:00
Michael Rodler
ea9b95a996 fixed unbound variable error 2016-06-02 12:11:47 +02:00
Michael Rodler
37e74bef92 Added case fallthrough for debian as distri in all install-root scripts. fixed manage-tools and Dockerfile. 2016-06-02 11:51:59 +02:00