Make spm synthesize.