diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 85e7cff0..386611bb 100755 --- a/debian/rules +++ b/debian/rules @@ -124,6 +124,10 @@ override_dh_auto_install: $(TMPBIN)/gudhi-rips-persistence mv $(TMPBIN)/sparse_rips_persistence \ $(TMPBIN)/gudhi-sparse-rips-persistence + mv $(TMPBIN)/distance_matrix_edge_collapse_rips_persistence \ + $(TMPBIN)/gudhi-distance-matrix-edge-collapse-rips-persistence + mv $(TMPBIN)/point_cloud_edge_collapse_rips_persistence \ + $(TMPBIN)/gudhi-point-cloud-edge-collapse-rips-persistence mv $(TMPBIN)/GudhUI $(TMPBIN)/gudhui |