Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen mcrl2compilerewriter komutudur.
Program:
ADI
mcrl2compilerewriter - bir mCRL2 aracı için bir yeniden yazıcı derleyin
SİNOPSİS
mcrl2 derleyici yazarı DOSYADA
TANIM
Bu komut dosyası, mCRL2 için yeniden yazar kitaplıklarını derlemek için varsayılan komut dosyasıdır. Derler
INFILE içindeki kaynak dosya. Çıktı, yeni satırla ayrılmış bir dosya listesinden oluşur. NS
listedeki son dosya derleyici kitaplığı olarak değerlendirilir ve geçerli bir yürütülebilir dosya olmalıdır.
Çıktıda listelenen tüm dosyalar, bu betiği çağıran mCRL2 aracı tarafından bir kez silinir.
kütüphaneye artık ihtiyaç yoktur.
Derleme davranışını değiştirmek için aşağıdaki adımları izleyin:
- Yeni bir komut dosyası oluşturun (belki orijinaline dayalı olarak)
- MCRL2_COMPILE_REWRITER ortam değişkeninin yeni komut dosyasını göstermesine izin verin.
onworks.net hizmetlerini kullanarak mcrl2compilerewriter'ı çevrimiçi kullanın
