import polyhedron_js;
import animate;

settings.render=0;
settings.tex="pdflatex";
settings.outformat="pdf";

size(7cm,0);
currentprojection=orthographic(1,0.5,0.5);
currentlight=(1,1,2);

animation A;
polyhedron[] parr;
pen[] coul={.7red};

for (int k=0; k<360; k+=3) {
  save();
  transform3 T=rotate(-degrees(2pi*k/360),Z);
  parr[0]=T*truncCube;
  filldraw(parr,coul,op=0.5);
  A.add();
  restore();
}
A.movie(); // remplacer par la ligne suivante
// label(A.pdf(BBox(1mm,nullpen),delay=500,"controls,loop"));
// pour obtenir une animation dans une seule page d'un pdf.
// controls : pour obtenir les boutons,
// loop : pour que cela tourne en boucle par défaut.