view README @ 30:865c1b265e80

Update Dockerfile
author Yasutaka Higa <>
date Tue, 24 May 2016 17:07:21 +0900
parents 48bcaf3f90ef
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)