diff --git a/CMakeLists.txt b/CMakeLists.txt index 8ac9873c0..08d0641a4 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -11,7 +11,7 @@ endif() # PROJECT # name version language # ---------------------------------------------------------------------------- # -project(ilang VERSION 0.9.5 +project(ilang VERSION 1.0.0 LANGUAGES CXX ) diff --git a/appveyor.yml b/appveyor.yml deleted file mode 100644 index 8ec750f43..000000000 --- a/appveyor.yml +++ /dev/null @@ -1,28 +0,0 @@ -version: 1.0.{build} -image: -- Ubuntu1804 -clone_depth: 1 -build_script: -- sh: >- - sudo apt update - - sudo DEBIAN_FRONTEND=noninteractive apt install --yes bison libboost-all-dev z3 libz3-dev - - sudo apt install --yes flex - - # ILAng - - cd $APPVEYOR_BUILD_FOLDER - - mkdir -p build - - cd build - - cmake .. - - make -j$(nproc) - - sudo make install - - make test -