Mercurial > hg > CbC > old > akasha
view README @ 39:81717f43ea00
Convert C function to cs (getMaxHeight)
author | Yasutaka Higa <e115763@ie.u-ryukyu.ac.jp> |
---|---|
date | Mon, 13 Jun 2016 16:30:30 +0900 |
parents | 48bcaf3f90ef |
children |
line wrap: on
line source
# Akasha Akasha aims verification of data structures in Gears. # How to Compile Akasha has dependencies for Gears. Please set environment variable GEARS_PATH and CBC_COMPILER like to follow as: export CBC_COMPILER=/usr/local/Cellar/cbc/HEAD/bin/clang export GEARS_PATH=/Users/home/hg/Gears Akasha uses CMake for build. Please type commands in ``src`` directory. $ cmake . $ make # Coding Rules variable naming rule: camelCase (e.g. hogeFugaPiyo) file naming rule: camelCase separator of special prefix and suffix: under score (meta_, _stub) enum: UpperCamelCase struct name: UpperCamelCase tab: soft tab (4 spaces)