Halimadienil-difosfatna sintaza (EC 5.5.1.16, Rv3377c, halimadienil difosfatna sintaza, tuberkulozinol difosfatna sintaza, halima-5(6),13-dien-15-il-difosfat lijaza (ciklizacija)) je enzim sa sistematskim imenom halima-5,13-dien-15-il-difosfat lijaza (deciklizacija).[1] Ovaj enzim katalizuje sledeću hemijsku reakciju
Za dejstvo ovog enzima je neophodan jon Mn2+.