1 files changed, 0 insertions, 36 deletions
diff --git a/.travis.yml b/.travis.yml
deleted file mode 100644
index b9add8c4..00000000
--- a/.travis.yml
+++ /dev/null
@@ -1,36 +0,0 @@
-language: cpp
-
-matrix:
-  include:
-
-    - os: linux
-      addons:
-        apt:
-          packages:
-            - libreadline-dev
-
-    - os: linux
-      addons:
-        apt:
-          packages:
-            - libreadline-dev
-      env: 
-        MAKE_ARGS: ABC_USE_NAMESPACE=xxx
-        DEMO_ARGS: -DABC_NAMESPACE=xxx
-
-    - os: osx
-      osx_image: xcode10
-      addons:
-        homebrew:
-          packages:
-            - readline
-
-script:
-  
-  - make ${MAKE_ARGS} -j2 abc
-  - ./abc -c "r i10.aig; b; ps; b; rw -l; rw -lz; b; rw -lz; b; ps; cec"
-
-  - make ${MAKE_ARGS} libabc.a
-  - g++ ${DEMO_ARGS} -Wall -c src/demo.c -o demo.o
-  - g++ -o demo demo.o libabc.a -lm -ldl -lreadline -lpthread
-  - ./demo i10.aig