Skip to content

Commit

Permalink
Mention prerequisties in README
Browse files Browse the repository at this point in the history
Summary:
^

Also removed some emu options, `erl` with my `brew install erlang` didn't have them

Differential Revision: D54950686

fbshipit-source-id: e02f9f0fb4b2a2128d2b151b09ee4cc17d23ec18
  • Loading branch information
kren1 authored and facebook-github-bot committed Mar 15, 2024
1 parent 1cca6ea commit 70f37ee
Show file tree
Hide file tree
Showing 2 changed files with 6 additions and 10 deletions.
8 changes: 0 additions & 8 deletions BUCK
Original file line number Diff line number Diff line change
Expand Up @@ -65,8 +65,6 @@ erlang_escript(
emu_args = [
"+sbtu",
"+A1",
"+JPperf",
"true",
],
)

Expand Down Expand Up @@ -142,10 +140,4 @@ erlang_escript(
script_name = "example_main",
deps = [":all_examples"],
include_priv = True,
emu_args = [
"+sbtu",
"+A1",
"+JPperf",
"true",
],
)
8 changes: 6 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -10,10 +10,14 @@ To read the basic concepts behind the analysis check [finer_taint/README](./fine

## Getting started

This project is built with [Buck2](https://github.com/facebook/buck2).
### Install prerequisties

* [Install erlang](https://www.erlang.org/downloads), namely make sure [toolchains/local/erl](./toolchains/local/erl) scripts work
* This project is built with [Buck2](https://github.com/facebook/buck2).
Please [install Buck2](https://github.com/facebook/buck2?tab=readme-ov-file#installing-buck2) first.
* Init submodules: `git submodule update --init --recursive`

Run the simple example
### Run the simple example

```
$ buck2 run @//mode/online_finer_taint :examples simple
Expand Down

0 comments on commit 70f37ee

Please sign in to comment.