Ada_Time

Ada_Time is a lightweight binding for the Pebble Time smartwatch.

More info about this project: http://blog.adacore.com/make-with-ada-formal-proof-on-my-wrist

This repository contains two examples that you can install to your watch:

• Patris : It's a game inspired by the famous classic falling blocks. Download it here.
• Patris watchface : Falling blocks telling you what time is it. Download it here.

Install

For this project you will need GNAT for ARM bare-board. You can find the GPL version at libre.adacore.com, in the download section. See the documentation for installation.

You also need a Pebble SDK (tested on version 3.2) developer.getpebble.com/sdk/.

Build

For each app you have to build the Ada code first:

$ cd projects/Patris/ada
$ gprbuild -XBuild=Release

then go back to the Pebble project directory, build and test:

$ cd ..
$ pebble build && pebble install --emulator basalt