Skip to content

Latest commit

 

History

History
61 lines (38 loc) · 1.66 KB

Readme.md

File metadata and controls

61 lines (38 loc) · 1.66 KB
Raw

About

This repository presents a reproduction of the scenario presented by Zhao et al (2013). After modeling in BZR language, the controller was synthesized using the Heptagon/BZR and Sigali tools. The GUI was developed using the cross-platform library mainly aimed at video game and multimedia programming: Allegro.

Screenshot

Screenshot

Clone

clone this repo to your local machine using

$ git clone `https://github.com/ddefb/Smart-Environment`

Setup

For run this project with the stable branch, run the commands above in you terminal:

add this repository first:

$ sudo add-apt-repository ppa:allegro/5.2

now update and install the Allegro packages:

$ sudo apt-get update
$ sudo apt-get install liballegro5-dev

Build and run the binary file

go to PGIA7336/P5 folder

$ cd ~/PGIA7336/P5

and run the make command:

$ make

run the command above to execute the binary file:

$ ./_main

License

License