]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/binaries/Makefile
transcript: very alpha version.
[helm.git] / helm / software / components / binaries / Makefile
index 9dd295fb40dc83cb96502cad036655e0df64f748..db074309d2e221c6edbc50380af1374b3124c8bc 100644 (file)
@@ -3,7 +3,7 @@ H=@
 #CSC: saturate is broken after the huge refactoring of auto/paramodulation
 #CSC: by Andrea
 #BINARIES=extractor  table_creator  utilities saturate
-BINARIES=extractor  table_creator  utilities 
+BINARIES=extractor  table_creator  utilities transcript
 
 all: $(BINARIES:%=rec@all@%) 
 opt: $(BINARIES:%=rec@opt@%)