Switch back to upstream

This commit is contained in:
Isuru Fernando 2020-04-24 11:51:02 -05:00
parent b3ae131ef4
commit 2f6465ee30

View file

@ -46,7 +46,7 @@ install:
- if [%COMPILER%]==[cl] conda config --add channels conda-forge --force
- if [%COMPILER%]==[cl] conda install --yes --quiet mpir=2.7.2 mpfr=4.* pthreads-win32 ninja
- if [%COMPILER%]==[cl] set "CFLAGS=/wd4146 /wd4018 /wd4267 /wd4244"
- cd .. && git clone https://github.com/isuruf/flint2 -b gettimeofday && cd flint2 && mkdir build && cd build
- cd .. && git clone https://github.com/wbhart/flint2 && cd flint2 && mkdir build && cd build
- if [%COMPILER%]==[gcc] cmake -G "MinGW Makefiles" -DBUILD_TESTING=OFF -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX="C:\msys64\mingw%ARCH%" ..
- if [%COMPILER%]==[cl] cmake -G "Ninja" -DBUILD_TESTING=OFF -DCMAKE_BUILD_TYPE=Release -DCMAKE_INSTALL_PREFIX="%CONDA_INSTALL_LOCN%\Library" ..
- cmake --build . --target install -- -j2