aboutsummaryrefslogtreecommitdiffstats
path: root/lang/eiffel/Makefile
blob: 8f50e2b4f644ad594d86ab76ebaf5071c55f9c69 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
# New ports collection makefile for:    eiffel
# Date created:         Thu Sep 14 11:10:01 CDT 1995
# Whom:                 erich@rrnet.com
#
# $FreeBSD$
#

PORTNAME=   eiffel
PORTVERSION=    13a
CATEGORIES= lang
MASTER_SITES=   ftp://netsw.org/softeng/lang/eiffel/eiffels/
DISTNAME=   ${PORTNAME}s${PORTVERSION}
EXTRACT_SUFX=   .freebsd.tar.gz

MAINTAINER= ports@FreeBSD.org

WRKSRC=     ${WRKDIR}/${PORTNAME}
NO_BUILD=   yes

FILES=      IAFA-PACKAGE bin doc eiffels.20 examples install.freebsd \
        introduction library readme.1st register.txt run3 \
        sharewar.txt source

do-configure:
    @${SED} -e "s:%%PREFIX%%:${PREFIX}:g" \
        ${FILESDIR}/ecc.sh > ${WRKSRC}/ecc.sh

do-install:
    ${INSTALL_SCRIPT} ${WRKSRC}/ecc.sh ${PREFIX}/bin/ecc
    @${MKDIR} ${PREFIX}/eiffel
    cd ${WRKSRC} && pax -rw ${FILES} ${PREFIX}/eiffel

.include <bsd.port.mk>
0800'>2022-05-201-0/+1 * emulators/libretro-mame: New port: MAME-current for libretroTimothy Beyer2022-05-201-0/+1 * emulators/libretro-reicast: New port: Standalone port of reicast to libretro ...Timothy Beyer2022-05-201-0/+1 * emulators/reicast: New port: Multi-platform Sega Dreamcast emulatorTimothy Beyer2022-05-201-0/+1 * emulators/qemu6: New PORTMuhammad Moinur Rahman2022-04-231-0/+1 * emulators/dosbox-x: New portNeel Chauhan2022-04-221-0/+1 * emulators/fceux: revive portRobert Clausecker2022-01-231-0/+1 * emulators/yuzu: merge -qt5 port as QT5 optionJan Beich2022-01-201-1/+0 * Add emulators/ripes: Graphical RISC-V simulatorMitchell Clay2022-01-111-0/+1 * cleanup: Remove expired ports:Rene Ladan2022-01-101-2/+0 * emulators/catapult: re-add port: GUI for openMSXDaniel Menelkir2021-12-251-0/+1 * emulators/dps8m: New port: 'SIMH' based simulator for the Honeywell h6180 / d...Gian-Simon Purkert2021-12-241-0/+1 * emulators/vt100: Add port: Simulation of VT100 terminal hardwareRobert Clausecker2021-12-151-0/+1 * cleanup: Remove expired ports:Rene Ladan2021-12-101-1/+0 * emulators/i386-wine: Remove port.Alexander Vereeken2021-11-191-1/+0 * emulators/qemu52: Moved to emulators/qemu5Muhammad Moinur Rahman2021-11-171-1/+1 * emulators/i386-wine-devel: Remove port.Alexander Vereeken2021-11-161-1/+0 * cleanup: Remove expired ports:Rene Ladan2021-10-311-2/+0 * cleanup: Remove expired ports:Rene Ladan2021-10-311-2/+0 * cleanup: Remove expired ports:Rene Ladan2021-10-281-1/+0 * New port: emulators/magia: GBA emulator written in golangNeel Chauhan2021-05-181-0/+1 * Hook emulators/yaze-ag to the buildAntoine Brodin2021-04-171-0/+1 * Hook emulators/z80pack to the buildAntoine Brodin2021-04-121-0/+1 * Remove expired ports:Rene Ladan2021-04-081-3/+0 * One more small cleanup, forgotten yesterday.Mathieu Arnold2021-04-071-1/+0 * Remove # $FreeBSD$ from Makefiles.Mathieu Arnold2021-04-061-2/+0 * emulators/open-vm-tools: Flavorize and other tweaksRenato Botelho2021-03-181-1/+0 * New port: emulators/qemu-guest-agent: QEMU Guest Agent for FreeBSDNeel Chauhan2021-03-171-0/+1 * Fix categoriesTobias Kortkamp2021-03-141-1/+0 * Add emulators/sameboyTobias Kortkamp2021-03-141-0/+1 * Add emulators/hv_kvp_cmdLi-Wen Hsu2021-03-141-0/+2 * - Update VirtualBox OSE to 6.1.18Guido Falsi2021-03-101-0/+5 * New port: emulators/aranym: Atari Running on Any MachineYuri Victorovich2021-03-051-0/+1 * Add new port emulators/libretro-vice:Max Brazhnikov2021-01-031-0/+1 * Remove some expired ports:Rene Ladan2021-01-021-3/+0 * Revert r559792 to unbreak INDEX and bulk -aAntoine Brodin2021-01-011-0/+3 * Remove most expired ports that depend on Python 2.7:Rene Ladan2021-01-011-3/+0 * Sort SUBDIRsSunpoet Po-Chuan Hsieh2020-12-111-1/+1 * Add tnylpo, an elegant CP/M emulatorJoerg Wunsch2020-12-101-0/+1 * New port emulators/libc6-shimEric Turgeon2020-12-081-0/+1 * CEmu is a TI-84 Plus CE/TI-83 Premium CE calculator emulator, focusedAlexey Dokuchaev2020-12-071-0/+1 * emulators/wine-proton: Add a new port.Gleb Popov2020-12-011-0/+1 * Remove expired ports:Rene Ladan2020-11-111-1/+0 * Finish riscv-fesvr removalAntoine Brodin2020-11-091-1/+0 * Sort SUBDIRsSunpoet Po-Chuan Hsieh2020-10-091-1/+1 * emulators/linux-power10-functional-sim: Add the POWER10 simKevin Bowling2020-10-081-0/+1 * Remove expired ports:Rene Ladan2020-10-031-1/+0 * emulators/qemu42: Add missing entry in emulators/MakefileMuhammad Moinur Rahman2020-09-301-0/+1 * Remove expired ports:Rene Ladan2020-09-191-2/+0 * Remove expired ports:Rene Ladan2020-08-271-1/+0 * Add emulators/dosbox-staging - DOS/x86 emulator forked from DOSBoxMax Brazhnikov2020-08-211-0/+1 * [NEW] emulators/qemu50: QEMU CPU Emulator - 5.0.X branchMuhammad Moinur Rahman2020-07-191-0/+1 * [NEW] emulators/qemu41: QEMU CPU Emulator - 4.1.X branchMuhammad Moinur Rahman2020-07-111-0/+1 * Rename Elliott-803 to elliott-803Li-Wen Hsu2020-07-011-1/+1 * Add emulators/Elliott-803, Emulator and compilers for Elliott 803 computerLi-Wen Hsu2020-07-011-0/+1 * emulators/ppsspp: update to 1.10Jan Beich2020-06-281-0/+1 * New port: emulators/simh-hp3000: HP 3000 series emulatorKurt Jaeger2020-06-141-0/+1 * New port: emulators/simh-hp2100: HP 2100 series emulatorKurt Jaeger2020-06-141-0/+1 * New port: emulators/simh-hpdocKurt Jaeger2020-05-051-0/+1 * - Resurrect port and undeprecateHiroki Tagato2020-05-041-0/+1 * emulators/qemu-user-static: revive as a copy of qemu-user-static-develKyle Evans2020-04-261-0/+1 * Remove the old emulators/qemu-user-static from the treeKyle Evans2020-04-261-1/+0 * Remove expired port:Rene Ladan2020-04-221-1/+0 * Add new ports, emulators/x16-emulator and emulators/x16-rom:Max Brazhnikov2020-03-271-0/+2 * Add new port emulators/emu64:Max Brazhnikov2020-03-261-0/+1 * Remove expired ports:Rene Ladan2020-03-201-1/+0 * Remove expired ports:Rene Ladan2020-01-271-2/+0 * emulators/nemu: New port. A ncurses UI for QEMU.Gleb Popov2020-01-041-1/+2 * Remove expired ports:Rene Ladan2020-01-011-1/+0 * Remove emulators/linux-c6, it is part of the expired CentOS 6 infrastructure.Rene Ladan2019-12-311-1/+0 * Add new port emulators/ukncbtl:Max Brazhnikov2019-12-221-0/+1 * NEW PORT: emulators/qemu-user-static-devel: QEMU user-mode emulationKyle Evans2019-12-021-0/+1 * [NEW] emulators/qemu31: QEMU CPU Emulator - 3.1.X versionMuhammad Moinur Rahman2019-11-251-0/+1 * Remove expired ports:Rene Ladan2019-10-161-4/+0 * emulators/qemu-devel: Update version 4.0.0=>4.1.0Muhammad Moinur Rahman2019-09-281-0/+1 * Remove expired ports:Rene Ladan2019-09-051-1/+0 * Add emulators/anese: NES Emulator written for fun and learningDanilo G. Baio2019-09-021-0/+1 * Sort SUBDIRsSunpoet Po-Chuan Hsieh2019-08-311-1/+1 * emulators/qemu30: QEMU CPU EmulatorMuhammad Moinur Rahman2019-08-061-0/+1 * Remove expired port:Rene Ladan2019-08-021-1/+0 * emulators/cannonball: create portSteve Wills2019-07-071-0/+1 * emulators/mesen: connect to bulk/index buildJan Beich2019-07-031-0/+1 * Remove expired ports:Rene Ladan2019-07-011-1/+0 * Remove expired ports:Rene Ladan2019-06-301-1/+0 * emulators/yuzu: add new portJan Beich2019-06-301-0/+2 * Sort categories Makefile and hook forgotten ports to the build.Mathieu Arnold2019-05-141-1/+1 * Remove expired ports:Rene Ladan2019-05-091-3/+0 * New port: emulators/pcem: PC-Compatible low-level emulator striving for accuracyKurt Jaeger2019-05-061-0/+1 * New port: emulators/edumips64: Free, cross-platform, educational, visual MIPS...Mateusz Piotrowski2019-05-051-0/+1 * [NEW] emulators/qemu2: 2.X version of emulators/qemuMuhammad Moinur Rahman2019-04-191-0/+1 * Qt4 deprecation: Remove Qt4 and its consumes.Tobias C. Berner2019-03-171-4/+0 * Qt4 deprecation: remove emulators/gns3Tobias C. Berner2019-03-171-1/+0 * emulators/ppsspp-devel: remove until enough upstream changes accumulateJan Beich2019-03-141-2/+0 * emulators/xen-kernel411 & sysutils/xen-tools411: drop version number from portRoger Pau Monné2019-02-271-1/+1 * emulators/ppsspp-devel: update to 1.7.5.476Jan Beich2019-02-191-0/+2 * New port: emulators/teoTobias Kortkamp2019-02-081-0/+1 * New port: emulators/emulationstationTobias Kortkamp2019-01-271-0/+1 * Remove expired ports:Rene Ladan2018-12-211-3/+0 * emulators/qemu-powernv: rename from emulators/qemu-ppcnv and update to POWER9Kevin Bowling2018-11-281-1/+1 * Remove expired ports:Rene Ladan2018-11-021-1/+0 * emulators/linux-power9-functional-sim: New portKevin Bowling2018-10-301-0/+1 * Remove expired ports:Rene Ladan2018-08-171-1/+0 * Finish removal of emulators/snes9xAntoine Brodin2018-08-041-1/+0 * - Remove emulators/snes9x A update version is available atJose Alonso Cardenas Marquez2018-08-031-1/+0 * Fix INDEX and duplicate PKGBASEsAntoine Brodin2018-07-251-2/+2 * Remove expired ports:Rene Ladan2018-06-021-1/+0 * i386-wine-devel: update to 3.3David Naylor2018-03-101-1/+0 * Remove expired ports:Rene Ladan2018-03-031-1/+0 * pipelight builds fine with wine (not run tested)Antoine Brodin2018-02-221-1/+1 * Comment out pipelight for now to unbreak INDEX and bulk -aAntoine Brodin2018-02-211-1/+1 * Remove the wine-staging port which has been BROKEN (and is not fixableGerald Pfeifer2018-02-201-1/+0 * Update to a new snapshot.Brooks Davis2018-02-071-2/+0 * Remove expired ports:Rene Ladan2018-01-281-1/+0 * emulators/ppsspp-devel: remove until enough upstream changes accumulateJan Beich2017-11-301-2/+0 * New port: emulators/mgbaTobias Kortkamp2017-10-061-0/+1 * emulators/ppsspp-devel: revive and update to 1.4.2.463Jan Beich2017-10-011-0/+2 * Add port for QEMU fork for experimental PowerNV work (powerpc64, Non-Virtuali...Mark Linimon2017-07-271-0/+1 * emulators/rpcs3: add new portJan Beich2017-06-201-0/+1 * * Add mupen64plus-qt 1.10, basic launcher for Mupen64Plus.Richard Gallamore2017-06-161-0/+1 * Add a port of AlmostTI, simple emulator for Z80-based series of TexasAlexey Dokuchaev2017-04-261-0/+1 * emulators/ppsspp: update to 1.4Jan Beich2017-03-311-1/+0 * Remove expired port:Rene Ladan2017-03-041-1/+0 * Add RISC-V ISA Simulator:Li-Wen Hsu2017-02-071-0/+2 * Remove expired ports:Rene Ladan2017-01-151-1/+0 * Drop support for Linux Fedora 10 (ports part)Rene Ladan2017-01-011-2/+0 * Add emulators/qemu-riscv, QEMU with RISC-V (RV64G, RV32G) emulation supportLi-Wen Hsu2016-12-211-0/+1 * New port: emulators/py-unicornAntoine Brodin2016-12-201-0/+1 * Add emulators/py-nova 14.0.2, Openstack Compute ServiceRoman Bogorodskiy2016-12-181-0/+1 * New port: emulators/unicornAntoine Brodin2016-12-161-0/+1 * Winetricks is an easy way to work around problems in Wine.Matthew Seaman2016-11-071-0/+1 * Add Linux CentOS 7 infrastructure ports.Tijl Coosemans2016-10-191-0/+1 * Add emulators/qemu-utilsAlan Somers2016-10-151-0/+1 * emulators/citra: add new portJan Beich2016-10-111-0/+2 * - Rename emulators/virtualbox-ose-lite to emulators/virtualbox-ose-nox11 andJung-uk Kim2016-10-061-1/+1 * emulators/virtualbox-ose-additions-nox11: create portSteve Wills2016-10-051-0/+1 * emulators/ppsspp: enslave GUI optionsJan Beich2016-09-281-0/+2 * Add linux_base-c7 port that installs CentOS 7 base packages.Tijl Coosemans2016-09-061-0/+1 * Remove kqemu-kmod{,-devel}Baptiste Daroussin2016-08-261-2/+0 * virtualbox-ose-lite minimal deps for packagingAlfred Perlstein2016-07-051-0/+1 * Remove expired ports without open PRs:Rene Ladan2016-07-051-4/+0 * Update qemu-cheri* to a fresh snapshot.Brooks Davis2016-06-101-0/+1 * Update qemu-cheri to a fresh snapshot and add a port to build the 128-bitBrooks Davis2016-02-231-0/+1 * This is the adaptation of PlayOnLinux to FreeBSD. The purpose of thisStefan Eßer2016-02-181-0/+1 * Add a port of sson's fork of QEMU with CHERI CPU support.Brooks Davis2016-01-271-0/+1 * Add nestopia 1.47, portable NES/Famicom emulator.Vanilla I. Shu2016-01-191-0/+1 * [NEW] emulators/vpsc: Virtual PC SimulatorMuhammad Moinur Rahman2015-11-191-0/+1 * emulators/ppsspp-devel: update to 1.1.0 by removing the portJan Beich2015-10-061-1/+0 * GNS3 Converter is designed to convert old ini-style GNS3 topologiesKurt Jaeger2015-07-271-0/+1 * - Update to 2.5Jose Alonso Cardenas Marquez2015-06-151-0/+1 * Sort entries.Jimmy Olgeni2015-06-131-2/+2 * emulators/ppsspp-devel: add new slave port for git masterJan Beich2015-05-301-0/+1 * Rename emulators/wine-compholio to emulators/wine-staging andGerald Pfeifer2015-05-241-2/+2 * emulators/ppsspp: add new portJan Beich2015-05-241-0/+1 * The gem5 simulator is a modular platform for computer systemVeniamin Gvozdikov2015-04-241-0/+1 * Add a metaport for xenBaptiste Daroussin2015-04-061-0/+1 * Rename xen into xen-kernelBaptiste Daroussin2015-04-061-1/+1 * Rename emulators/xl into sysutils/xen-toolsBaptiste Daroussin2015-04-061-1/+0 * Introduce FreeBSD xen dom0 components.Baptiste Daroussin2015-04-021-0/+2 * Remove expired ports:Antoine Brodin2015-03-281-2/+0 * Add new port emulators/qemu-sbruno, to be used for qemu-user-staticJuergen Lock2014-12-311-0/+1 * Sort entries alphabetically across all categories to avoid extra repo churn.Alexey Dokuchaev2014-12-081-3/+3 * - Add rubygem-fission 0.5.0Sunpoet Po-Chuan Hsieh2014-12-041-0/+1 * Remove: abandonware, depends on non existing USE_GNOME componentsBaptiste Daroussin2014-11-191-1/+0 * Add new port emulators/fs-uae-launcherJohn Marino2014-11-051-0/+1 * Add new port emulators/hyperv-is (FreeBSD 8.4, 9.1, 9.2, 9.3, 10.0)John Marino2014-10-071-0/+1 * Update CentOS base to 6.5, add userland portsJohannes Jost Meixner2014-09-221-0/+2 * Remove virtualbox-*-legacy due to lack of stagingJohn Marino2014-09-101-2/+0 * Remove non staged ports without pending PR from d*Baptiste Daroussin2014-09-011-5/+0 * Introduce emulators/i386-wine-compholio.David Naylor2014-08-191-0/+1 * Add slave-port for emulators/wine-compholio, which will allow pkg usersKris Moore2014-07-231-0/+1 * - Add pipelight, which works with wine to provide windows plugins to browsersKris Moore2014-07-111-0/+1 * Add new slave port emulators/qemu-user-static:Juergen Lock2014-05-201-0/+1 * Remove emulators/mupen64-rice, part of removed mupen64Rene Ladan2014-04-251-1/+0 * Remove expired ports:Rene Ladan2014-04-251-12/+0 * Remove expired ports:Rene Ladan2014-04-111-2/+0 * Remove expired port:Rene Ladan2014-03-311-1/+0 * Remove expired ports:Rene Ladan2014-03-301-4/+0 * Remove expired ports:Rene Ladan2014-03-251-1/+0 * - Index has been fixedJose Alonso Cardenas Marquez2014-03-241-1/+1 * Comment out mupen64plus-video-glide64 to try to unbreak INDEX andMark Linimon2014-03-241-1/+1 * - Add the new port emulators/fs-uaeDanilo Egea Gondolfo2014-03-111-0/+1 * Remove expired ports:Rene Ladan2014-03-101-1/+0 * Remove expired port:Rusmir Dusko2014-02-191-1/+0 * Remove expired port:Rene Ladan2014-01-201-1/+0 * Add x49gp - a HP49G+/50G graphics calculator emulator.Shaun Amott2014-01-171-0/+1 * Add emualtors/wine-mono-devel at version 4.5.2.David Naylor2014-01-031-0/+1 * Remove expired ports:Rene Ladan2013-12-011-3/+0 * - Update to 1.1Rusmir Dusko2013-11-271-0/+1 * This port installs some extra ZX spectrum ROM images which have beenRene Ladan2013-11-131-0/+1 * - Update to 4.0.0Ganael LAPLANCHE2013-10-161-1/+1 * Remove unmaintained ports which depends on Linux GTK1 libraries:Rene Ladan2013-10-141-2/+0 * Removed unmaintained (ports@) or gnome@ ports depending on gnome1Baptiste Daroussin2013-10-051-2/+0 * - Fix mupen64plus-video-glide64mk2 entryJose Alonso Cardenas Marquez2013-10-051-1/+1 * - Add new port: emulators/mupen64plus-video-glide64mk2Jose Alonso Cardenas Marquez2013-10-051-0/+1 * Remove expired ports:Rene Ladan2013-08-281-1/+0 * Add emulators/i386-wine.David Naylor2013-08-121-0/+1 * uCON64 is the video game backup tool and emulator Swiss Army knife program.Steven Kreuzer2013-07-101-0/+1 * Remove expired ports:Rene Ladan2013-07-011-1/+0 * Remove expired port:Rene Ladan2013-06-221-1/+0 * Unhook emulators/linux-xjoypad from emulators/Makefile, as it depends onColin Percival2013-06-051-1/+0 * 2013-03-05 devel/linux-js: Broken for more than 6 monthBaptiste Daroussin2013-06-051-1/+0 * - Finish removal of support for Linux 2.4 in bsd.linux-apps.mk andRene Ladan2013-05-301-2/+0 * Move `emulators/hfsutils' to a more appropriate category (sysutils).Alexey Dokuchaev2013-05-231-1/+0 * A multiplayer Atari 2600 emulator written in pure Java.Bryan Drewery2013-05-021-0/+1 * Add emulators/i386-wine-devel, slave to emulators/wine-devel.David Naylor2013-03-261-0/+1 * Remove expired, unmaintained ports:Rene Ladan2013-03-141-9/+0 * - Rename emulators/bsnes to emulators/higan due to upstream name changeMax Brazhnikov2013-02-221-1/+1 * 2012-11-26 emulators/gcube: No more public distfilesBaptiste Daroussin2012-11-281-1/+0