Ok, si deberia funcionarte sin problemas. La libreria consta de una sola funcion ademas de algunas variables para configuraciones basicas.
Por ejemplo, supongamos que tenes los botones en los pines A0 y A1, y que queres mover el motor de a 10 pasos por vez, podes armar algo asi
void main(void){
int cant_pasos = 10;
while(1){
if(input(PIN_A0){
move_stepper(CLOCKWISE, cant_pasos);
}
else if(input(PIN_A1)){
move_stepper(ANTICLOCK, cant_pasos);
}
}
}
Eso es solo un ejemplo para que veas como usar la funcion. Despues como armes el driver es independiente.