Библиотека верхнего уровня доступна только в режиме байт-кода:
ocamlbuild UserInputEval.byte -pkgs compiler-libs,compiler-libs.toplevel
Также обратите внимание, что пакет compiler-libs может потребоваться установить отдельно (по крайней мере, для archlinux).
Тем не менее, ваш код, вероятно, не выполняет то, что вы ожидаете: вы только вводите пользовательский ввод в интерпретатор верхнего уровня, не читая ничего из состояния верхнего уровня.
Если вы просто хотите прочитать целое число,Вы можете сделать это просто:
let a = print_string "Enter sum_until x where x = an int: \n"; read_int ();;
print_int (sum_until a);;
без необходимости в компиляторах.