https://github.com/suneel-sarswat/dsam
Raw File
Tip revision: 81ed4b1c2c07db12de7e9db78fa6538ad31e01de authored by Suneel Sarswat on 23 February 2021, 12:55:22 UTC
time stamp comment added
Tip revision: 81ed4b1
auction.sh
#!/bin/bash


printf "Compiling Basic list libraries.\n"
coqc GenReflect.v

coqc SetSpecs.v

coqc MinMax.v

coqc DecSort.v

coqc DecType.v

coqc SetReflect.v

coqc DecList.v

coqc MoreDecList.v

printf "Compiling auction libraries.\n"
coqc mBidAsk.v

coqc Quantity.v

coqc mMatching.v

printf "Compiling Fair on Bid: this may take some time.\n"
coqc mFair_Bid.v

printf "Compiling Fair on Ask: this may take some time.\n"
coqc mFair_Ask.v

printf "Compiling Fair: this takes a few minutes.\n"
coqc MQFair.v

printf "Compiling UM: this takes a few minutes.\n"
coqc MatchingAlter.v

coqc mUM.v

coqc MQUM.v


printf "Compiling MM: this takes a few minutes.\n"
coqc mMM.v

coqc MQMM.v

printf "Compiling Bounds and Uniqueness.\n"
coqc Bound.v

coqc Uniqueness.v

printf "Extracting codes into Demonstration directory. See Demo.v file for more details .\n"

coqc Demo.v


printf "Completed compiling all the files!"
echo \



back to top