sksat

あとは`git_revision_template.c`がCとして合法になっていればいい

え，S2E系のCIだけ落ちてる...まさか...

`if(WIN32)`の方書き方ミスってただけだった．よかった．

`git_revision_template.c`を合法にするの，微妙に面倒なのでifdefしたらいい気もする

conflictしてたのでrebase

再rebase

あと微塵もLibraryではないし`src_user`直下でもいい気もするんだよな

というか`.c`じゃなくてヘッダを生成する方がまだだいぶマシだなあ．そうするか．

coreに`git_revision.c`だけを置いておいて，そこから`src/src_user/git_revision.h`をinclude，でよいのでは？だいぶシンプルになる．

というかそれなら`git_revision.c`が要らないな．`c2a_core_main.c`でやってしまえばいい．