[#24] Create simple travis build config file

hangpark · Apr 2, 2017 · 991868d · 991868d
1 parent df28cb8
commit 991868d
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -0,0 +1,12 @@
+sudo: required
+
+language: c
+
+services:
+  - docker
+
+before_install:
+  - docker pull hangpark/pintos-dev-env-kaist
+
+script:
+  - docker run -v $TRAVIS_BUILD_DIR:/pintos hangpark/pintos-dev-env-kaist /bin/bash -c "export PATH=$PATH:/pintos/src/utils && cd /pintos/src/$TARGET_DIRECTORY && make grade" > temp && rm temp && cat src/$TARGET_DIRECTORY/build/grade