libflint/build.sh

#!/bin/sh -e

# For building outside of CLion

mkdir -p build
cd build
cmake ..
make
cp compile_commands.json ..
cd
add input functions 2021-12-10 20:41:36 +00:00			`#!/bin/sh -e`

start documentation 2022-03-31 00:02:36 +00:00			`# For building outside of CLion`

add input functions 2021-12-10 20:41:36 +00:00			`mkdir -p build`
			`cd build`
			`cmake ..`
			`make`
			`cp compile_commands.json ..`
start documentation 2022-03-31 00:02:36 +00:00			`cd`