Ζέστανε το ζωμό μανιταριών, ή ρίξε τον κύβο σου σε 500ml βραστό νερό και ανακάτεψε μέχρι να διαλυθεί. Ζέστανε και λίγο παραπάνω νερό, μπορεί να σου χρειαστεί.
Βάλε ένα τηγάνι σε μέτρια φωτιά, και ζέστανε το ελαιόλαδο. Ρίξε το σκόρδο, τους σπόρους μάραθου και το μπούκοβο και ανακάτεψε μέχρι να μυρίσουν, για 1 λεπτό.
Πρόσθεσε τα πράσα και ανακάτευε μέχρι να μαραθούν αλλά όχι να καραμελώσουν, για 5 περίπου λεπτά.
Ρίξε το κριθαράκι και ανακάτεψε. Χαμήλωσε τη φωτιά, πρόσθεσε τα 500ml ζεστό ζωμό. Σιγόβρασε για 10 λεπτά ανακατεύοντας που και που. Έχε δίπλα σου βραστό νερό σε περίπτωση που χρειαστεί να προσθέσεις κι άλλο.
Όταν απορροφηθεί όλο το νερό και το κριθαράκι έχει μαλακώσει, πρόσθεσε το βούτυρο και τη γραβιέρα και ανακάτεψε. Πρόσθεσε αλάτι αν χρειάζεται, και πιπέρι.
Σέρβιρε αμέσως σε δύο πιάτα, με λίγο ακόμα τριμμένο τυρί από πάνω αν θες, και όρμα.
