//  Turns a ppm image file into a texture
//  Last edited on 1998-12-20 17:00:17 by stolfi

//  Requires
//    texture_file_name
//    texture_color_quick
//  Defines
//    texture_from_file

#declare texture_from_file = 
  texture{
    pigment{
      image_map{ ppm concat(texture_file_name, ".ppm")  }
      quick_color rgb texture_color_quick
    }
    finish{ 
      ambient 0.0 
      diffuse 1.0
    }
  }