The best choice to build a sketch for Attiny85 is Arduino IDE..But sometimes to build my sketchs, I am using also a Geany for IDE, you can use Arduino makefile ...
New version of a85al simulator, version 1.1, an Attiny85 emulator for Linux systems. Many improvements and fixes. Here's the changelog: Added new cpu opcodes (sbiw,sbic, sbics) Added Debugger features, Registers, Memory and IO Windows.Added support for TTL USB serial port, you can read the Serial output on termina.Added Timer Prescaler for Timer 1.Fixed bug in SREG register for all opcodes ...
New release for a85al, attiny85 emulator, the version is 1.2. Many fixes and added, now the simulator is capable to run more sketchs using the EEPROM memory and i2c bus. Here is the changelog:Fixed EEPROM managemnt.Fixed TTL USB Serial Port timeout.Fixed the Pins buttons.Added Disassembler window in Debugger section.Added F4, F7 and F5 keys for the debugger, F5 Step by Step feature, ...
A85al is an emulator for the Attiny85, Arduino and ESP8266 with support for Linux ...
New release 1.5 for a85al, an emulator for Attiny85 and ESP8266 is ready. Many fiixes and added are ready for use. Here the changelog:Xtensa L106Fixes  bugs in LDR and CALLL0 opcodes.Added Timer1 and IRQ maanagement for it.Added NMI support.Added WiiFi preliminary support.Added support for internal I2C devices.Added suport for Random numbers generator device.Attiny85Many improvements and fixes.Here ...
Now you can use it also for ESP8266 sketchs..Added Xtensa L106 ISAAdded windows for General, Special and IO registers for ESP8266 coreAdded TTY emulation for UART pluginFixed bug in Debugger WindowFixed bug in PCF8574 pluginYou can grub it here ...