先に結論から
# 先にigbinaryを入れる
pickle install igbinary -n
# オプションをテキストファイルに出力
echo "--enable-redis-igbinary" > redis-options.txt
# --with-configure-optionsでオプション指定のテキストを指定
pickle install redis -n --with-configure-options=redis-options.txt
経緯
- php環境にredisクライアントを入れたい
- peclではなくpickleを使いたい
- 単に
pickle install redisとしてもigbinaryが有効にならない- インタラクティブモードで実行され、プロンプトに対してyes/noで回答していくと有効になる
- Dockerfileでプロンプトに都度入力するのは困難
- pickleをバッチモードで実行しつつ、
--enable-redis-igbinaryしたい