先说结论

# 先に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 したい