annotate README @ 2:9815b09dc853

Sample which uses llrb library in Gears
author Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
date Fri, 11 Mar 2016 19:24:34 +0900
parents
children d41e349d6e22
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 # Akasha
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 Akasha aims verification of data structures in Gears.
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 # How to Compile
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 Akasha has dependencies for Gears.
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 Please set environment variable GEARS_PATH and CBC_COMPILER like to follow as:
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 export CBC_COMPILER=/usr/local/Cellar/cbc/HEAD/bin/clang
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 export GEARS_PATH=/Users/home/hg/Gears
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 Akasha uses CMake for build.
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 Please type commands in ``src`` directory.
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 $ cmake .
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 $ make
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 # Coding Rules
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 naming rule: camelCase.
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 tab: soft tab (4 spaces)
9815b09dc853 Sample which uses llrb library in Gears
Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20