From daf4a7fea113ce4667c0570cfb93ebadac1be8af Mon Sep 17 00:00:00 2001
From: Christopher Haster <chaster@utexas.edu>
Date: Sun, 16 Jul 2017 14:34:05 -0500
Subject: [PATCH] Added support for Travis CI

---
 .travis.yml            | 28 ++++++++++++++++++++++++++++
 DataFlashBlockDevice.h | 14 +++++++-------
 README.md              | 14 +++++++-------
 3 files changed, 42 insertions(+), 14 deletions(-)
 create mode 100644 .travis.yml

diff --git a/.travis.yml b/.travis.yml
new file mode 100644
index 0000000000..96a6d79ddd
--- /dev/null
+++ b/.travis.yml
@@ -0,0 +1,28 @@
+script:
+      # Check that examples compile
+    - sed -n '/``` cpp/,${/```$/q;/```/d;p}' README.md > main.cpp &&
+      PYTHONPATH=mbed-os python mbed-os/tools/make.py -t GCC_ARM -m K82F
+          --source=. --build=BUILD/K82F/GCC_ARM -j0 &&
+      rm main.cpp
+    - sed -n '/@code/,${/@endcode/q;/@/d;s/^ \*//;p}' DataFlashBlockDevice.h > main.cpp &&
+      PYTHONPATH=mbed-os python mbed-os/tools/make.py -t GCC_ARM -m K82F
+          --source=. --build=BUILD/K82F/GCC_ARM -j0 &&
+      rm main.cpp
+
+      # Check that tests compile
+    - rm -r BUILD && PYTHONPATH=mbed-os python mbed-os/tools/test.py
+          -t GCC_ARM -m K82F --source=. --build=BUILD/TESTS/K82F/GCC_ARM -j0
+          -n tests*
+
+python:
+    - "2.7"
+
+install:
+      # Get arm-none-eabi-gcc
+    - sudo add-apt-repository -y ppa:terry.guo/gcc-arm-embedded
+    - sudo apt-get update -qq
+    - sudo apt-get install -qq gcc-arm-none-eabi --force-yes
+      # Get dependencies
+    - git clone https://github.com/armmbed/mbed-os.git
+      # Install python dependencies
+    - sudo pip install -r mbed-os/requirements.txt
diff --git a/DataFlashBlockDevice.h b/DataFlashBlockDevice.h
index 43a4eee4e7..31ced0c4d1 100644
--- a/DataFlashBlockDevice.h
+++ b/DataFlashBlockDevice.h
@@ -29,10 +29,10 @@
  *  #include "DataFlashBlockDevice.h"
  *
  *  // Create DataFlash on SPI bus with PTE5 as chip select
- *  DataFlashBlockDevice at45db(PTE2, PTE4, PTE1, PTE5);
+ *  DataFlashBlockDevice dataflash(PTE2, PTE4, PTE1, PTE5);
  *
  *  // Create DataFlash on SPI bus with PTE6 as write-protect
- *  DataFlashBlockDevice at45db(PTE2, PTE4, PTE1, PTE5, PTE6);
+ *  DataFlashBlockDevice dataflash2(PTE2, PTE4, PTE1, PTE5, PTE6);
  *
  *  int main() {
  *      printf("dataflash test\n");
@@ -45,17 +45,17 @@
  *      printf("dataflash erase size: %llu\n", dataflash.get_erase_size());
  *
  *      // Write "Hello World!" to the first block
- *      uint8_t *buffer = (uint8_t*)malloc(spif.get_erase_size());
+ *      char *buffer = (char*)malloc(dataflash.get_erase_size());
  *      sprintf(buffer, "Hello World!\n");
- *      spif.erase(0, spif.get_erase_size());
- *      spif.program(buffer, 0, spif.get_erase_size());
+ *      dataflash.erase(0, dataflash.get_erase_size());
+ *      dataflash.program(buffer, 0, dataflash.get_erase_size());
  *
  *      // Read back what was stored
- *      spif.read(buffer, 0, spif.get_erase_size());
+ *      dataflash.read(buffer, 0, dataflash.get_erase_size());
  *      printf("%s", buffer);
  *
  *      // Deinitialize the device
- *      spif.deinit();
+ *      dataflash.deinit();
  *  }
  *  @endcode
  */
diff --git a/README.md b/README.md
index fd8d354a18..2a0522124e 100644
--- a/README.md
+++ b/README.md
@@ -22,10 +22,10 @@ https://en.wikipedia.org/wiki/DataFlash
 #include "DataFlashBlockDevice.h"
 
 // Create DataFlash on SPI bus with PTE5 as chip select
-DataFlashBlockDevice at45db(PTE2, PTE4, PTE1, PTE5);
+DataFlashBlockDevice dataflash(PTE2, PTE4, PTE1, PTE5);
 
 // Create DataFlash on SPI bus with PTE6 as write-protect
-DataFlashBlockDevice at45db(PTE2, PTE4, PTE1, PTE5, PTE6);
+DataFlashBlockDevice dataflash2(PTE2, PTE4, PTE1, PTE5, PTE6);
 
 int main() {
     printf("dataflash test\n");
@@ -38,17 +38,17 @@ int main() {
     printf("dataflash erase size: %llu\n", dataflash.get_erase_size());
 
     // Write "Hello World!" to the first block
-    uint8_t *buffer = (uint8_t*)malloc(spif.get_erase_size());
+    char *buffer = (char*)malloc(dataflash.get_erase_size());
     sprintf(buffer, "Hello World!\n");
-    spif.erase(0, spif.get_erase_size());
-    spif.program(buffer, 0, spif.get_erase_size());
+    dataflash.erase(0, dataflash.get_erase_size());
+    dataflash.program(buffer, 0, dataflash.get_erase_size());
 
     // Read back what was stored
-    spif.read(buffer, 0, spif.get_erase_size());
+    dataflash.read(buffer, 0, dataflash.get_erase_size());
     printf("%s", buffer);
 
     // Deinitialize the device
-    spif.deinit();
+    dataflash.deinit();
 }
 ```