iCE40/yosys - clone of https://github.com/YosysHQ/yosys

diff options

author	Clifford Wolf <clifford@clifford.at>	2019-02-21 15:51:59 +0100
committer	Clifford Wolf <clifford@clifford.at>	2019-02-21 15:51:59 +0100
commit	0a6588569bb859d74876bf50956cb5f02cf3a31d (patch)
tree	f11ccf669bd16e3aac0353a9bbcdfd7ab36ef246 /examples/gowin/run.sh
parent	953e0bf88d363180619452dd0049268ee9cfbb67 (diff)
download	yosys-0a6588569bb859d74876bf50956cb5f02cf3a31d.tar.gz yosys-0a6588569bb859d74876bf50956cb5f02cf3a31d.tar.bz2 yosys-0a6588569bb859d74876bf50956cb5f02cf3a31d.zip

Rename "yosys -U" to "yosys -P" to avoid confusion about "undefine"

Signed-off-by: Clifford Wolf <clifford@clifford.at>

Diffstat (limited to 'examples/gowin/run.sh')

0 files changed, 0 insertions, 0 deletions

/* ConnectBot: simple, powerful, open-source SSH client for Android Copyright (C) 2007-2008 Kenny Root, Jeffrey Sharkey This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. You should have received a copy of the GNU General Public License along with this program. If not, see <http://www.gnu.org/licenses/>. */ package org.connectbot; import java.util.List; import java.util.regex.Matcher; import java.util.regex.Pattern; import org.connectbot.bean.HostBean; import org.connectbot.service.TerminalBridge; import org.connectbot.service.TerminalManager; import org.connectbot.util.HostDatabase; import org.connectbot.util.UpdateHelper; import android.app.Activity; import android.app.AlertDialog; import android.app.ListActivity; import android.content.ComponentName; import android.content.Context; import android.content.DialogInterface; import android.content.Intent; import android.content.ServiceConnection; import android.content.SharedPreferences; import android.content.Intent.ShortcutIconResource; import android.content.SharedPreferences.Editor; import android.content.res.ColorStateList; import android.net.Uri; import android.os.Bundle; import android.os.Handler; import android.os.IBinder; import android.os.Message; import android.preference.PreferenceManager; import android.util.Log; import android.view.ContextMenu; import android.view.KeyEvent; import android.view.LayoutInflater; import android.view.Menu; import android.view.MenuItem; import android.view.View; import android.view.ViewGroup; import android.view.MenuItem.OnMenuItemClickListener; import android.view.View.OnKeyListener; import android.widget.AdapterView; import android.widget.ArrayAdapter; import android.widget.ImageView; import android.widget.ListView; import android.widget.TextView; import android.widget.AdapterView.OnItemClickListener; public class HostListActivity extends ListActivity { protected TerminalManager bound = null; protected HostDatabase hostdb; private List<HostBean> hosts; protected LayoutInflater inflater = null; protected boolean sortedByColor = false; private MenuItem sortcolor; private MenuItem sortlast; protected Handler updateHandler = new Handler() { @Override public void handleMessage(Message msg) { HostListActivity.this.updateList(); } }; private ServiceConnection connection = new ServiceConnection() { public void onServiceConnected(ComponentName className, IBinder service) { bound = ((TerminalManager.TerminalBinder) service).getService(); // update our listview binder to find the service HostListActivity.this.updateList(); } public void onServiceDisconnected(ComponentName className) { bound = null; HostListActivity.this.updateList(); } }; @Override public void onStart() { super.onStart(); // start the terminal manager service this.bindService(new Intent(this, TerminalManager.class), connection, Context.BIND_AUTO_CREATE); if(this.hostdb == null) this.hostdb = new HostDatabase(this); this.updateList(); } @Override public void onStop() { super.onStop(); this.unbindService(connection); if(this.hostdb != null) { this.hostdb.close(); this.hostdb = null; } } public final static String PREF_EULA = "eula", PREF_SORTBYCOLOR = "sortByColor"; public final static int REQUEST_EDIT = 1; public final static int REQUEST_EULA = 2; private SharedPreferences prefs = null; @Override protected void onActivityResult(int requestCode, int resultCode, Intent data) { if (requestCode == REQUEST_EULA) { if(resultCode == Activity.RESULT_OK) { // yay they agreed, so store that info Editor edit = prefs.edit(); edit.putBoolean(PREF_EULA, true); edit.commit(); } else { // user didnt agree, so close this.finish(); } } else if (requestCode == REQUEST_EDIT) { this.updateList(); } } protected boolean makingShortcut = false; @Override public void onCreate(Bundle icicle) { super.onCreate(icicle); setContentView(R.layout.act_hostlist); this.setTitle(String.format("%s: %s", getResources().getText(R.string.app_name), getResources().getText(R.string.title_hosts_list))); // check for eula agreement this.prefs = PreferenceManager.getDefaultSharedPreferences(this); boolean agreed = prefs.getBoolean(PREF_EULA, false); if(!agreed) { this.startActivityForResult(new Intent(this, WizardActivity.class), REQUEST_EULA); } // start thread to check for new version new UpdateHelper(this); this.makingShortcut = Intent.ACTION_CREATE_SHORTCUT.equals(getIntent().getAction()); // connect with hosts database and populate list this.hostdb = new HostDatabase(this); ListView list = this.getListView(); this.sortedByColor = prefs.getBoolean(PREF_SORTBYCOLOR, false); this.updateList(); //this.list.setSelector(R.drawable.highlight_disabled_pressed); list.setOnItemClickListener(new OnItemClickListener() { public synchronized void onItemClick(AdapterView<?> parent, View view, int position, long id) { // launch off to console details HostBean host = (HostBean) parent.getAdapter().getItem(position); // create a specific uri that represents this host Uri uri = Uri.parse(String.format("ssh://%s@%s:%d/#%s", Uri.encode(host.getUsername()), Uri.encode(host.getHostname()), host.getPort(), Uri.encode(host.getNickname()))); Intent contents = new Intent(Intent.ACTION_VIEW, uri); contents.setFlags(Intent.FLAG_ACTIVITY_CLEAR_TOP); if (makingShortcut) { // create shortcut if requested ShortcutIconResource icon = Intent.ShortcutIconResource.fromContext(HostListActivity.this, R.drawable.icon); Intent intent = new Intent(); intent.putExtra(Intent.EXTRA_SHORTCUT_INTENT, contents); intent.putExtra(Intent.EXTRA_SHORTCUT_NAME, host.getNickname()); intent.putExtra(Intent.EXTRA_SHORTCUT_ICON_RESOURCE, icon); setResult(RESULT_OK, intent); finish(); } else { // otherwise just launch activity to show this host HostListActivity.this.startActivity(contents); } } }); this.registerForContextMenu(list); final Pattern hostmask = Pattern.compile("^([^@]+)@([0-9A-Z.-]+)(:(\\d+))?$", Pattern.CASE_INSENSITIVE); final TextView text = (TextView) this.findViewById(R.id.front_quickconnect); text.setVisibility(makingShortcut ? View.GONE : View.VISIBLE); text.setOnKeyListener(new OnKeyListener() { public boolean onKey(View v, int keyCode, KeyEvent event) { if(event.getAction() == KeyEvent.ACTION_UP) return false; if(keyCode != KeyEvent.KEYCODE_ENTER) return false; // make sure we follow pattern if (text.getText().length() < 3) return false; // show error if poorly formed Matcher matcher = hostmask.matcher(text.getText().toString()); if (!matcher.matches()) { text.setError(getString(R.string.list_format_error)); return false; } // create new host for entered string and then launch String username = matcher.group(1); String hostname = matcher.group(2); int port = 22; try { port = Integer.parseInt(matcher.group(4)); } catch (Exception e) { Log.i("HostListActivity", "Invalid format for port: "+ matcher.group(4)); } String nickname; if (port == 22) { nickname = String.format("%s@%s", username, hostname); } else { nickname = String.format("%s@%s:%d", username, hostname, port); } HostBean host = new HostBean(nickname, username, hostname, port); host.setColor(HostDatabase.COLOR_GRAY); host.setPubkeyId(HostDatabase.PUBKEYID_ANY); hostdb.saveHost(host); Intent intent = new Intent(HostListActivity.this, ConsoleActivity.class); intent.setData(Uri.parse(String.format("ssh://%s@%s:%d/#%s", Uri.encode(username), Uri.encode(hostname), port, Uri.encode(nickname)))); HostListActivity.this.startActivity(intent); // set list filter based on text // String filter = text.getText().toString(); // list.setTextFilterEnabled((filter.length() > 0)); // list.setFilterText(filter); return true; } }); this.inflater = (LayoutInflater)getSystemService(Context.LAYOUT_INFLATER_SERVICE); } @Override public boolean onPrepareOptionsMenu(Menu menu) { super.onPrepareOptionsMenu(menu); // don't offer menus when creating shortcut if (makingShortcut) return true; sortcolor.setVisible(!sortedByColor); sortlast.setVisible(sortedByColor); return true; } @Override public boolean onCreateOptionsMenu(Menu menu) { super.onCreateOptionsMenu(menu); // don't offer menus when creating shortcut if(makingShortcut) return true; // add host, ssh keys, about sortcolor = menu.add(R.string.list_menu_sortcolor); sortcolor.setIcon(android.R.drawable.ic_menu_share); sortcolor.setOnMenuItemClickListener(new OnMenuItemClickListener() { public boolean onMenuItemClick(MenuItem item) { sortedByColor = true; updateList(); return true; } }); sortlast = menu.add(R.string.list_menu_sortname); sortlast.setIcon(android.R.drawable.ic_menu_share); sortlast.setOnMenuItemClickListener(new OnMenuItemClickListener() { public boolean onMenuItemClick(MenuItem item) { sortedByColor = false; updateList(); return true; } }); MenuItem keys = menu.add(R.string.list_menu_pubkeys); keys.setIcon(android.R.drawable.ic_lock_lock); keys.setIntent(new Intent(HostListActivity.this, PubkeyListActivity.class)); MenuItem settings = menu.add(R.string.list_menu_settings); settings.setIcon(android.R.drawable.ic_menu_preferences); settings.setIntent(new Intent(HostListActivity.this, SettingsActivity.class)); MenuItem help = menu.add(R.string.title_help); help.setIcon(android.R.drawable.ic_menu_help); help.setIntent(new Intent(HostListActivity.this, HelpActivity.class));


context:
space:
mode: