lua - premake の os.rmdir は通常の lua では使用できません

Question

premake クックブックから、次のコードを取得します。

solution "MySolution"
  configurations { "Debug", "Release" }

  configuration { "Debug" }
    targetdir "bin/debug"

  configuration { "Release" }
    targetdir "bin/release"

  if _ACTION == "clean" then
    os.rmdir("bin")
  end

通常の lua アプリで os.rmdir("bin") を試し、hello1.lua に入れ、次のコマンドで実行しました。

lua hello1.lua

しかし、エラーが発生します:

lua: hello1.lua:11: attempt to call field 'rmdir' (a nil value)
stack traceback:
    hello1.lua:11: in main chunk
    [C]: in ?

os.rmdir は premake4 からの標準の lua 関数ではないようです。os.rmdir のドキュメントはどこにありますか?

Answer 1

premake スクリプト リファレンスを参照してください。

これはos.rmdir固有のページです。