magma melting and dripstone sharpening

cook gravel into magma, and magma into lava using a furnace. you can also sharpen dripstone into points in a stone cutter.