Skip to content

Instantly share code, notes, and snippets.

View liyishuai's full-sized avatar
🐔
I program with Coq !

Yishuai Li liyishuai

🐔
I program with Coq !
View GitHub Profile
@liyishuai
liyishuai / octocat.svg
Created December 9, 2024 06:10 — forked from johan/octocat.svg
Github octocat avatar, SVG format
Loading
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
open Sys
open Filename
let dir1 = argv.(1)
let dir2 = argv.(2)
let unison =
"unison " ^ dir1 ^ " " ^ dir2
^ " -batch -confirmbigdel=false > logs.txt 2> error.txt"

Keybase proof

I hereby claim:

  • I am liyishuai on github.
  • I am lys (https://keybase.io/lys) on keybase.
  • I have a public key ASDRjuXFwYELclG0MwvNJ42jFqe8qSEKMAZX7kwk1bybmwo

To claim this, I am signing this object:

#!/bin/bash
PREFIX="${PREFIX:-$HOME/apache_clean}"
echo -e " \e[32mAPR"
echo
echo "Running apr with: c-compiler:$CC $CFLAGS c++-compiler:$CXX $CXXFLAGS"
sleep 2
cd apr-1* && ./configure --prefix="$PREFIX" && apr=$(pwd) && make clean && make -j4 && make install && cd ..