script/ci.sh - third_party/github.com/leanprover/lean4 - Git at Google


            
            #!/usr/bin/env bash

            
            set -e

            
            mkdir build

            
            cd build

            
            eval cmake .. $CMAKE_OPTIONS

            
            make

            
            (cd stage0.5; cpack)
	#!/usr/bin/env bash
	set -e
	mkdir build
	cd build
	eval cmake .. $CMAKE_OPTIONS
	make
	(cd stage0.5; cpack)