more on profiling

nicolasmarti · Sep 26, 2012 · d14b622 · d14b622
1 parent 6dbbed2
commit d14b622
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/_tags b/_tags
@@ -1,3 +1,3 @@
 <src/lib>: include
 <src/kernel>: include
-<apps/interp.{native,p.native}>: pkg_str
+<apps/interp.{native,p.native,byte,d.byte}>: pkg_str
diff --git a/apps.itarget b/apps.itarget
@@ -1,2 +1,4 @@
 apps/interp.native
 apps/interp.p.native
+apps/interp.byte
+apps/interp.d.byte
diff --git a/install b/install
@@ -1 +1 @@
-ocamlfind install poussin META _build/src/kernel/calculus_kernel.a _build/src/kernel/calculus_kernel.cmi _build/src/kernel/calculus_kernel.cma _build/src/kernel/calculus_kernel.cmxa
+ocamlfind install poussin META _build/src/kernel/calculus_kernel.a _build/src/kernel/calculus_kernel.cmxa _build/src/kernel/calculus_kernel.cma _build/src/kernel/calculus_kernel.cmi _build/src/kernel/calculus_kernel.cmo _build/src/kernel/calculus_kernel.cmx