sksat
sksat
それはそれとして,c2a-core のインターフェース定義をするヘッダと,c2a-core が設定値のデフォルト値を提供するヘッダは分割したい
`c2a-core/Settings/default_hoge.h` みたいなかんじになるのかな
エーーー ``` CMake Error at CMakeLists.txt:5 (project): Generator Ninja does not support platform specification, but platform Win32 was specified. ```
あーーー,いや,これ `CMakeSettings.json` で generator 指定するやつか(VS CMake はビックリドッキリで困る)
なんかむしろ遅くなっていて謎だな
気持ち速い感はありつつ,standard GitHub hosted runner が 2core なのもあってそんなに差無いなあ......どちらかというとキャッシュすべきか
前言っていたのはこれですね https://github.com/LoliGothick/mitama-dimensional
はい.これはその通りで,あくまで最初のミニマルな改善提案だというのと,単にレビューコストを下げるためにパッチを分割していただけです > Geopotentialだけ動かすのはそれはそれで整合性が取れなくなる 必須データかどうか,によって分け方を考えた方がよい,というのはあんまりわかっていないです. これはディレクトリの分割方針というよりかは,ドキュメントやスクリプトの責務な気がしています. 例えば,「標準的なファイルだけまとめてダウンロードする」みたいなスクリプトはあってよいと思いますが,ディレクトリとは別の話かなと. データのライフサイクルという観点だと,今重要なのは「ビルド前に(操作が)必要か(ビルド時に必要なライブラリのダウンロード)」「ビルド時に必要か(リンクする)」「実行時に必要か(初期化時に読み込む)」という区別が重要だと考えていて,この PR は実行時に必要なモノをすべて `data` に移動したい,というアイデアです.
あー,なるほど.S2E user ごとに管理するべきものと,各シミュレーションケース(ex: `data/sample`)毎に管理すべきデータがあるのではないか,という話か.理解しました. > 頻度
ということであれば,`data` ディレクトリに置くべきかどうかの議論,というよりは,`data` ディレクトリのどこに置くべきか,という議論をするのが建設的な気がしますね.そうなるとここでも `external` はちょっと一般的すぎて微妙な命名かもしれません.