https://github.com/Fabien-Chouteau/Ada_Time

Ada binding for the Pebble Time smartwatch
https://github.com/Fabien-Chouteau/Ada_Time

Last synced: 2 months ago
JSON representation

Ada binding for the Pebble Time smartwatch

• Host: GitHub
• URL: https://github.com/Fabien-Chouteau/Ada_Time
• Owner: Fabien-Chouteau
• Created: 2015-10-11T11:25:38.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2015-11-12T09:58:15.000Z (over 8 years ago)
• Last Synced: 2024-02-01T20:13:09.407Z (5 months ago)
• Language: Ada
• Homepage:
• Size: 262 KB
• Stars: 17
• Watchers: 5
• Forks: 2
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Lists

• awesome-ada - ada-time - Ada binding for the Pebble Time smartwatch. (Hardware and Embedded / Libraries)
• awesome-ada - ada-time - Ada binding for the Pebble Time smartwatch. (Hardware and Embedded / Bindings)

README

        
# Ada_Time

Ada_Time is a lightweight binding for the [Pebble

Time](https://www.pebble.com/) 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](http://apps.getpebble.com/en_US/application/559af16358bc81d930000067) : It's a game inspired by the famous classic falling blocks.

   [Download it here.](http://apps.getpebble.com/en_US/application/559af16358bc81d930000067)

 - [Patris watchface](http://apps.getpebble.com/en_US/application/561a73451a1d8994a700007e) : Falling blocks telling you what time is it. [Download it here.](http://apps.getpebble.com/en_US/application/561a73451a1d8994a700007e)

## Install

For this project you will need GNAT for ARM bare-board. You can find the GPL

version at [libre.adacore.com](http://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/](http://developer.getpebble.com/sdk/).

## Build

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

```shell

$ cd projects/Patris/ada

$ gprbuild -XBuild=Release

```

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

```shell

$ cd ..

$ pebble build && pebble install --emulator basalt

```