"凿内"是一个成语，意思是用石头或砖等物将一个洞挖大。这个成语常用于比喻用某种手段、方法或者途径来实现目标。 例如：为了完成这项任务，他们采用了各种不同的办法和工具，在凿内过程中，我们发现他们使用了一些古老的工具和技术。