deferred class
	CROSS_PLATFORM_CONSTANTS

inherit
	EL_ANY_SHARED

	EL_MODULE_TUPLE

feature {NONE} -- Strings

	EIFGENs_path_template: ZSTRING
		once
			Result := "build/%S/EIFGENs"
		end

	Exe_path_template: ZSTRING
		once
			Result := "build/%S/package/bin/%S"
		end

	Implementation_ending: ZSTRING
		once
			Result := "_imp.e"
		end

	Interface_ending: ZSTRING
		once
			Result := "_i.e"
		end

feature {NONE} -- Paths

	EIFGENs_dir: DIR_PATH
		once
			create Result.make_expanded ("build/$ISE_PLATFORM/EIFGENs")
		end

	F_code_dir: DIR_PATH
		once
			Result := EIFGENs_dir #+ "classic/F_code"
		end

	Package_bin_dir: DIR_PATH
		once
			create Result.make_expanded ("build/$ISE_PLATFORM/package/bin")
		end

feature {NONE} -- Constants

	Platform: TUPLE [linux_x86_64, win64, windows: IMMUTABLE_STRING_8]
		once
			create Result
			Tuple.fill_immutable (Result, "linux-x86-64, win64, windows")
		end

	Platform_list: EL_IMMUTABLE_STRING_8_LIST
		once
			create Result.make_from_tuple (Platform)
		end

	Windows_platform_table: EL_HASH_TABLE [IMMUTABLE_STRING_8, INTEGER]
		once
			create Result.make (<< [32, Platform.windows], [64, Platform.win64] >>)
		end

end