From 1b34642e4bbc1a8365cb4d0f09acd45cfbd9c14e Mon Sep 17 00:00:00 2001
From: "Alejandro R. Mosteo" <alejandro@mosteo.com>
Date: Wed, 4 Apr 2018 19:32:12 +0200
Subject: [PATCH] Removed nonsensical library attributes, add CI

---
 alire.gpr     |  2 --
 shippable.yml | 14 ++++++++++++++
 2 files changed, 14 insertions(+), 2 deletions(-)
 create mode 100644 shippable.yml

diff --git a/alire.gpr b/alire.gpr
index 15bb12d4..1c763d01 100644
--- a/alire.gpr
+++ b/alire.gpr
@@ -5,8 +5,6 @@ project Alire is
 
    for Source_Dirs use ("index", "index/**", "src");
    for Object_Dir use "obj";
-   for Library_Name use "alire";
-   for Library_Dir use "lib";
 
    package Pretty_Printer is
       for Switches ("ada") use ("--no-separate-is");
diff --git a/shippable.yml b/shippable.yml
new file mode 100644
index 00000000..d025bee6
--- /dev/null
+++ b/shippable.yml
@@ -0,0 +1,14 @@
+language: none # ada
+
+branches:
+    only:
+        - master
+        - devel
+
+build:
+    pre_ci_boot:
+        image_name: reznik/gnat
+        image_tag: gpl.2017.slim
+        pull: true
+    ci:
+        - /opt/gnat/bin/gprbuild -p -P alire_env