Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Removing RPC #8

Merged
merged 13 commits into from
Jan 13, 2016
Merged
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
@@ -1,3 +1,4 @@
*.agdai
*~
.*.sw?
target
18 changes: 3 additions & 15 deletions .travis.yml
Original file line number Diff line number Diff line change
@@ -1,21 +1,9 @@
language: rust
rust: 1.0.0
addons:
postgresql: 9.3

before_install:
- yes | sudo add-apt-repository ppa:ubuntu-toolchain-r/test
- sudo apt-get update
install:
- sudo apt-get install g++-4.8 gcc-4.8 git
- git clone https://github.com/kentonv/capnproto.git
- export CC=gcc-4.8
- export CXX=g++-4.8
- cd capnproto/c++
- ./setup-autotools.sh
- autoreconf -i
- ./configure && make -j5 && sudo make install && cd ../..

before_script:
- createuser -U postgres -ld holmes
- psql -c "ALTER USER holmes UNENCRYPTED PASSWORD 'holmes'" -U postgres
after_success:
- sudo apt-get install libcurl4-openssl-dev libelf-dev libdw-dev
- wget https://github.com/SimonKagstrom/kcov/archive/master.tar.gz
Expand Down
176 changes: 176 additions & 0 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

14 changes: 2 additions & 12 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -3,23 +3,13 @@
name = "holmes"
version = "0.0.1"
authors = [ "Matthew Maurer <maurer@matthewmaurer.org>" ]
build = "build.rs"
license = "MIT"
description = "Holmes Inference System"
repository = "https://github.com/maurer/holmes"

[[bin]]

name = "holmes"

[build-dependencies]
capnpc = "0.2.3"

[dependencies]
capnp = "0.2.4"
capnp-rpc = "0.2.3"
postgres = "0.9"
postgres_array = "0.5"
postgres = { features = [ "unix_socket" ] }
postgres_array = "*"
rustc-serialize = "*"
getopts = "*"

Expand Down
10 changes: 3 additions & 7 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,23 +1,19 @@
# Holmes

[![Build Status](https://travis-ci.org/BinaryAnalysisPlatform/holmes.svg?branch=master)](https://travis-ci.org/BinaryAnalysisPlatform/holmes)
[![Coverage Status](https://coveralls.io/repos/BinaryAnalysisPlatform/holmes/badge.svg)](https://coveralls.io/r/BinaryAnalysisPlatform/holmes)
[![Build Status](https://travis-ci.org/maurer/holmes.svg?branch=master)](https://travis-ci.org/maurer/holmes)
[![Coverage Status](https://coveralls.io/repos/maurer/holmes/badge.svg)](https://coveralls.io/r/maurer/holmes)


A system for integrating multiple analyses using a logic language.

## Requirements
* **Rust** - Holmes is developed against [Rust 1.0.0](https://static.rust-lang.org/dist/rust-1.0.0-x86_64-unknown-linux-gnu.tar.gz).
* **Rust** - Holmes is developed against [Rust 1.5.0](https://static.rust-lang.org/dist/rust-1.5.0-x86_64-unknown-linux-gnu.tar.gz).

* **PostgreSQL** - Holmes uses **PostgreSQL** to back its datastore.
I develop against 9.4, and test against 9.3 on [Travis](https://travis-ci.org/maurer/holmes).
However, there should not be a strong version dependency, and other versions will likely work.
Other backing stores may become available in the future.

* **Cap'n Proto** - Holmes uses [Cap'n Proto](https://capnproto.org/) to provide RPC and capability support.
I develop and test against the latest git master of [Cap'n Proto](https://github.com/sandstorm-io/capnproto).
It should still work with the latest [release](https://capnproto.org/capnproto-c++-0.5.1.tar.gz), but this is not the dev/test environment.

* **Linux/X86_64** - This is not an explicit dependency.
To the best of my knowledge, all tools I am using work on OSX/Windows and I am not using any architecture specific hacks.
However, I am not developing on other architectures/OSes, nor will I be testing on them until things are much more feature complete.
7 changes: 0 additions & 7 deletions build.rs

This file was deleted.

9 changes: 9 additions & 0 deletions package.nix
Original file line number Diff line number Diff line change
@@ -0,0 +1,9 @@
{ rustPlatform, openssl, capnproto, which, postgresql }:
with rustPlatform;

buildRustPackage rec {
name = "holmes";
src = ./.;
buildInputs = [ openssl capnproto which postgresql ];
depsSha256 = "";
}
37 changes: 0 additions & 37 deletions src/bin/holmes.rs

This file was deleted.