Update build system and CI scripts

Change-Id: I4894a30d0cfc7af5de1d272edb70ce9cc4b6d372
2019-01-09 20:03:43 -05:00
parent 51459409bd
commit 7eaed5cd3f
11 changed files with 796 additions and 725 deletions
@@ -0,0 +1,2 @@
+<davidepesa@gmail.com> <davide.pesavento@lip6.fr>
+<enewberry@email.arizona.edu> <enewberry@cs.arizona.edu>