# Add here commands to install the package into debian/uffi.
$(INSTALL) $(INSTALLDIRFLAGS) $(clc-source)
+ $(INSTALL) $(INSTALLDIRFLAGS) $(clc-source)/mcl
$(INSTALL) $(INSTALLFLAGS) $(shell echo src/*.cl *.system) $(clc-source)
$(INSTALL) $(INSTALLFLAGS) $(shell echo src/mcl/*.cl) $(clc-source)/mcl
$(INSTALL) $(INSTALLFLAGS) doc/html/* $(DOCDIR)/html