system EiffelNet root ANY default assertion (require) precompiled ("$ISE_EIFFEL/precomp/spec/$ISE_PLATFORM/base") cluster -- EiffelNet net: "$ISE_EIFFEL/library/net" abstract_socket (net): "$/abstract/socket" net_socket (net): "$/network/socket" local_socket (net): "$/local/socket" polling_abstract (net): "$/polling/abstract" -- polling_implementation (net): "$/polling/implementation" abstract_client_server (net): "$/abstract/client_server" net_client_server (net): "$/network/client_server" local_client_server (net): "$/local/client_server" external -- External EiffelNet library object: "$(ISE_EIFFEL)/library/net/spec/$(ISE_PLATFORM)/lib/libnet.a" -- win "$(ISE_EIFFEL)/library/net/spec/$(ISE_C_COMPILER)/lib/net.lib" end